A simulation environment for protocol specifications described in ESTELLE

Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache. A simulation environment for protocol specifications described in ESTELLE. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 297-312, North-Holland, 1985.

Abstract

Abstract is missing.