[SERVER-43811] TLA + Trace Checker Paper: Outline Created: 03/Oct/19  Updated: 29/Oct/23  Resolved: 13/Jan/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: 4.3.3

Type: Task Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: A. Jesse Jiryu Davis
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Depends
is depended on by SERVER-43597 TLA+ Trace Checker paper: "Introducti... Closed
is depended on by SERVER-43599 TLA+ Trace Checker paper: "Problem St... Closed
is depended on by SERVER-45545 TLA+ Trace Checker paper: "Background... Closed
Backwards Compatibility: Fully Compatible
Participants:

 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.


Generated at Thu Feb 08 05:04:11 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.