Experiences with a Verification and Simulation Tool for Behavioural Languages

Giuseppe Pappalardo. Experiences with a Verification and Simulation Tool for Behavioural Languages. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 251-264, North-Holland, 1987.

Abstract

Abstract is missing.