Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
Description
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.
Attachments
Issue Links
- 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
-