Temporal Logic Specification of Distributed Systems

@inproceedings{Schwartz1981TemporalLS,
  title={Temporal Logic Specification of Distributed Systems},
  author={Richard L. Schwartz and P. M. Melliar-Smith},
  booktitle={ICDCS},
  year={1981}
}
Highly Cited
This paper has 39 citations. REVIEW CITATIONS