Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL - researchr publication

researchr

You are not signed in
Sign in
Sign up

Heiko Krumm, Oswald Drobnik. Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 31-45, North-Holland, 1984.

Abstract is missing.

runs on WebDSL