%0 Conference Paper %1 conf/icst/PuraB14 %A Pura, Mihai-Lica %A Buchs, Didier %B ICST Workshops %D 2014 %I IEEE Computer Society %K dblp %P 2-3 %T Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. %U http://dblp.uni-trier.de/db/conf/icst/icstw2014.html#PuraB14 %@ 978-0-7695-5194-4

@inproceedings{conf/icst/PuraB14, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pura, Mihai-Lica and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2b57c4dc1d21cc27315e616489b9be72a/dblp}, booktitle = {ICST Workshops}, crossref = {conf/icst/2014w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2014.64}, interhash = {c8221bdf9cfd5e25359b3842db20de99}, intrahash = {b57c4dc1d21cc27315e616489b9be72a}, isbn = {978-0-7695-5194-4}, keywords = {dblp}, pages = {2-3}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:23:37.000+0200}, title = {Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2014.html#PuraB14}, year = 2014 }