Structuring Mechanisms for the Formal Description Technique CRS

• Authors:

• Roelof Jan Velthuys;Lothar F. Mackert;Jürgen M. Schneider;Georg Zörntlein

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
• Year:
• 1991