@inproceedings{FGK+96,
title = {{CADP} - {A} Protocol Validation and Verification Toolbox },
author = {Fernandez, Jean-Claude and Garavel, Hubert and Kerbrat, Alain and Mounier, Laurent and Mateescu, Radu and Sighireanu, Mihaela},
year = {1996},
booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
pages = {437-440},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1102},
team = {DCS,PACSS},
}