%0 Conference Paper %1 conf/cnsa/PatelBPPRZ10 %A Patel, Reema %A Borisaniya, Bhavesh %A Patel, Avi %A Patel, Dhiren R. %A Rajarajan, Muttukrishnan %A Zisman, Andrea %B CNSA %D 2010 %E Meghanathan, Natarajan %E Boumerdassi, Selma %E Chaki, Nabendu %E Nagamalai, Dhinaharan %I Springer %K dblp %P 152-163 %T Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification. %U http://dblp.uni-trier.de/db/conf/cnsa/cnsa2010.html#PatelBPPRZ10 %V 89 %@ 978-3-642-14477-6

@inproceedings{conf/cnsa/PatelBPPRZ10, added-at = {2012-05-19T00:00:00.000+0200}, author = {Patel, Reema and Borisaniya, Bhavesh and Patel, Avi and Patel, Dhiren R. and Rajarajan, Muttukrishnan and Zisman, Andrea}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29400b19b602d767a67e13e74b03a3026/dblp}, booktitle = {CNSA}, crossref = {conf/cnsa/2010}, editor = {Meghanathan, Natarajan and Boumerdassi, Selma and Chaki, Nabendu and Nagamalai, Dhinaharan}, ee = {http://dx.doi.org/10.1007/978-3-642-14478-3_16}, interhash = {9427688fd7dde83bb2ceade8ee370e36}, intrahash = {9400b19b602d767a67e13e74b03a3026}, isbn = {978-3-642-14477-6}, keywords = {dblp}, pages = {152-163}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2016-02-02T11:34:05.000+0100}, title = {Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.}, url = {http://dblp.uni-trier.de/db/conf/cnsa/cnsa2010.html#PatelBPPRZ10}, volume = 89, year = 2010 }