bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3901688