[SERVER-43602] TLA+ Trace Checker paper: "Conclusions" section Created: 24/Sep/19 Updated: 10/Feb/20 Resolved: 10/Feb/20 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Replication |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | New Feature | Priority: | Major - P3 |
| Reporter: | A. Jesse Jiryu Davis | Assignee: | Judah Schvimer |
| Resolution: | Done | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Sprint: | Repl 2020-02-24 |
| Participants: |
| Description |
|
From "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":
|
| Comments |
| Comment by Judah Schvimer [ 10/Feb/20 ] |
|
Draft complete and now in-review. |