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

• Authors:

• Richard L. Schwartz;P. M. Melliar-Smith

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
• Year:
• 1982