Protocol description with the OCCAM language

Cécile Roisin. Protocol description with the OCCAM language. 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 235-246, North-Holland, 1985.

Authors

Cécile Roisin

This author has not been identified. Look up 'Cécile Roisin' in Google