A formal comparison of formal protocol specification techniques

• Authors:

• R. C. Venkatraman;Thomas F. Piatkowski

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
• Year:
• 1985