-
Type: Task
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Replication
-
Labels:None
-
Fully Compatible
UseĀ "How to Write a Technical Paper: Structure and Style of the Epitome of your Research": https://pdfs.semanticscholar.org/441f/ac7c2020e1c8f0d32adffca697bbb8a198a1.pdf
Write an outline of the trace checker paper. The paper's sections and their titles will be the same as most other papers. Write a few sub-bullets for each of the sections.
- is depended on by
-
SERVER-43597 TLA+ Trace Checker paper: "Introduction" section
- Closed
-
SERVER-43599 TLA+ Trace Checker paper: "Problem Statement" section
- Closed
-
SERVER-45545 TLA+ Trace Checker paper: "Background" section
- Closed