From State Machines to Temporal Logic: Specification Methods for Protocol Standards

Richard L. Schwartz,P. Melliar-Smith
DOI: https://doi.org/10.1007/3-540-16047-7_35
1982-05-17
Abstract:
What problem does this paper attempt to address?