%0 Conference Paper %1 conf/sbmf/FreitasME18 %A Freitas, Leo %A Modesti, Paolo %A Emms, Martin %B SBMF %D 2018 %E Massoni, Tiago %E Mousavi, Mohammad Reza %I Springer %K dblp %P 180-197 %T A Methodology for Protocol Verification Applied to EMV® 1. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#FreitasME18 %V 11254 %@ 978-3-030-03044-5

@inproceedings{conf/sbmf/FreitasME18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Freitas, Leo and Modesti, Paolo and Emms, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2d0e81502ba25340c6d93ba9ac29e8ba3/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2018}, editor = {Massoni, Tiago and Mousavi, Mohammad Reza}, ee = {https://doi.org/10.1007/978-3-030-03044-5_12}, interhash = {907902851814e3f96feced9c40611aa8}, intrahash = {d0e81502ba25340c6d93ba9ac29e8ba3}, isbn = {978-3-030-03044-5}, keywords = {dblp}, pages = {180-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:04:19.000+0200}, title = {A Methodology for Protocol Verification Applied to EMV® 1.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#FreitasME18}, volume = 11254, year = 2018 }