A specification of a PROWAY protocol with an Algebraic language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonella Di Stefano, Michele Malgeri, Orazio Mirabella. A specification of a PROWAY protocol with an Algebraic 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 195-213, North-Holland, 1985.

This author has not been identified. Look up 'Antonella Di Stefano' in GoogleThis author has not been identified. Look up 'Michele Malgeri' in GoogleThis author has not been identified. Look up 'Orazio Mirabella' in Google

runs on WebDSL