-
Type: Task
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Replication
-
Labels:None
-
Fully Compatible
-
Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27, Repl 2020-02-10
After reviewing first draft of TLA+ Trace Checker paper's "Related Work" and bibliography, do additional research that reviewers suggest.
- 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