Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
-
Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27, Repl 2020-02-10
Description
After reviewing first draft of TLA+ Trace Checker paper's "Related Work" and bibliography, do additional research that reviewers suggest.
Attachments
Issue Links
- depends on
-
SERVER-43595 Literature review for TLA+ trace checker paper
-
- Closed
-
- is depended on by
-
SERVER-43598 TLA+ Trace Checker paper: "Related Work" section
-
- Closed
-