Véronique Cortier. Verification of Security Protocols. In Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, pages 1, EasyChair, 2010. [doi]
@inproceedings{Cortier10, title = {Verification of Security Protocols}, author = {Véronique Cortier}, year = {2010}, url = {http://www.easychair.org/publications/?page=603533100}, researchr = {https://researchr.org/publication/Cortier10}, cites = {0}, citedby = {0}, pages = {1}, booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010}, editor = {Markus Aderhold and Serge Autexier and Heiko Mantel}, volume = {3}, series = {EPiC Series}, publisher = {EasyChair}, }