A Verification Oriented Specification in LOTOS of the Transport Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elie Najm. A Verification Oriented Specification in LOTOS of the Transport Protocol. 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 181-203, North-Holland, 1987.

This author has not been identified. Look up 'Elie Najm' in Google

runs on WebDSL