CADP (CSAR/ALD EBARAN Development Package): A protocol validation and verification toolbox (1996)

by J-C Fernandez, H Garavel, A Kerbrat, R Mateescu, L Mounier, M Sighireanu
Venue:Computer Aided Verification CAV'96. Lecture Notes in Computer Science 1102