Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA

Claude Jard, Jean-François Monin, Roland Groz. Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. 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 315-331, North-Holland, 1985.

Abstract

Abstract is missing.