An Extended Finite State Machine Approach to Protocol Specification

• Authors:

• Gerald A. Simon;David J. Kaufman

• Affiliations:

• -;-

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