%0 Conference Paper %1 conf/fosad/ModersheimV09 %A Mödersheim, Sebastian %A Viganò, Luca %B FOSAD %D 2009 %E Aldini, Alessandro %E Barthe, Gilles %E Gorrieri, Roberto %I Springer %K %P 166-194 %T The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. %U http://dblp.uni-trier.de/db/conf/fosad/fosad2009.html#ModersheimV09 %V 5705 %@ 978-3-642-03828-0

@inproceedings{conf/fosad/ModersheimV09, added-at = {2023-12-13T00:24:23.000+0100}, author = {Mödersheim, Sebastian and Viganò, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2f498c70f0d03954049e33604ea44b743/admin}, booktitle = {FOSAD}, crossref = {conf/fosad/2009}, editor = {Aldini, Alessandro and Barthe, Gilles and Gorrieri, Roberto}, ee = {https://doi.org/10.1007/978-3-642-03829-7_6}, interhash = {62e1ebdc9adecac097c198c83216badc}, intrahash = {f498c70f0d03954049e33604ea44b743}, isbn = {978-3-642-03828-0}, keywords = {}, pages = {166-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:24:23.000+0100}, title = {The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fosad/fosad2009.html#ModersheimV09}, volume = 5705, year = 2009 }