[SERVER-43603] TLA+ Trace Checker paper: "Bibliography" section Created: 24/Sep/19  Updated: 29/Oct/23  Resolved: 06/Feb/20

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

Type: New Feature 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

Backwards Compatibility: Fully Compatible
Participants:

 Description   

From "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

Use a bibliography utility to generate the bibliography.
Do not hesitate to include textbooks in your bibliography;
mention them in the introduction or in the related work
section.


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