%0 Journal Article %1 journals/topnoc/PuraB15 %A Pura, Mihai-Lica %A Buchs, Didier %B Trans. Petri Nets and Other Models of Concurrency %D 2015 %E Koutny, Maciej %E Desel, Jörg %E Haddad, Serge %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 109-130 %T Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc10.html#PuraB15 %V 10 %@ 978-3-662-48649-8

@article{journals/topnoc/PuraB15, added-at = {2020-03-13T00:00:00.000+0100}, author = {Pura, Mihai-Lica and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/29cb64b03c0bc10f493b729acf1ae6a62/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2015-10}, editor = {Koutny, Maciej and Desel, Jörg and Haddad, Serge}, ee = {https://doi.org/10.1007/978-3-662-48650-4_6}, interhash = {ab7c7a77703fbe78ac6539a3d57ffb81}, intrahash = {9cb64b03c0bc10f493b729acf1ae6a62}, isbn = {978-3-662-48649-8}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {109-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:17:52.000+0100}, title = {Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc10.html#PuraB15}, volume = 10, year = 2015 }