Modelling and Specifying a Presentation Protocol by Temporal Ordering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo. Modelling and Specifying a Presentation Protocol by Temporal Ordering. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 423-440, North-Holland, 1984.

This author has not been identified. Look up 'Vincenza Carchiolo' in GoogleThis author has not been identified. Look up 'Gesualdo Le Moli' in GoogleThis author has not been identified. Look up 'Sergio Palazzo' in GoogleThis author has not been identified. Look up 'Giuseppe Pappalardo' in Google

runs on WebDSL