A Composition Theorem for Layered Systems

• Authors:

• Simon S. Lam;A. Udaya Shankar

• Affiliations:

• -;-

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