%0 Conference Paper %1 conf/spin/MaggiS02 %A Maggi, Paolo %A Sisto, Riccardo %B SPIN %D 2002 %E Bosnacki, Dragan %E Leue, Stefan %I Springer %K dblp %P 187-204 %T Using SPIN to Verify Security Properties of Cryptographic Protocols. %U http://dblp.uni-trier.de/db/conf/spin/spin2002.html#MaggiS02 %V 2318 %@ 3-540-43477-1

@inproceedings{conf/spin/MaggiS02, added-at = {2017-05-17T00:00:00.000+0200}, author = {Maggi, Paolo and Sisto, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/22968509bb797b83e5b1666bd2742c537/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2002}, editor = {Bosnacki, Dragan and Leue, Stefan}, ee = {https://doi.org/10.1007/3-540-46017-9_14}, interhash = {b8bac5bfaee1f4ea48550b23998fa541}, intrahash = {2968509bb797b83e5b1666bd2742c537}, isbn = {3-540-43477-1}, keywords = {dblp}, pages = {187-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:39.000+0200}, title = {Using SPIN to Verify Security Properties of Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2002.html#MaggiS02}, volume = 2318, year = 2002 }