CADP - A Protocol Validation and Verification Toolbox - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu. CADP - A Protocol Validation and Verification Toolbox. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 437-440, Springer, 1996.

This author has not been identified. Look up 'Jean-Claude Fernandez' in GoogleThis author has not been identified. Look up 'Hubert Garavel' in GoogleThis author has not been identified. Look up 'Alain Kerbrat' in GoogleThis author has not been identified. Look up 'Laurent Mounier' in GoogleThis author has not been identified. Look up 'Radu Mateescu' in GoogleThis author has not been identified. Look up 'Mihaela Sighireanu' in Google

runs on WebDSL