Generating a Service Specification of a Connection Management Protocol

• Authors:

• Thomas P. Blumer;John C. Burruss

• Affiliations:

• -;-

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