%0 Journal Article %1 journals/telsys/ThongB13 %A Thong, Ta Vinh %A Buttyán, Levente %D 2013 %J Telecommun. Syst. %K dblp %N 4 %P 2611-2635 %T On automating the verification of secure ad-hoc network routing protocols. %U http://dblp.uni-trier.de/db/journals/telsys/telsys52.html#ThongB13 %V 52

@article{journals/telsys/ThongB13, added-at = {2023-07-25T00:00:00.000+0200}, author = {Thong, Ta Vinh and Buttyán, Levente}, biburl = {https://www.bibsonomy.org/bibtex/277d8a9e6b43893936cb13c48b0101c06/dblp}, ee = {https://doi.org/10.1007/s11235-011-9592-3}, interhash = {571485b1d5321d1f39f8f0475821481b}, intrahash = {77d8a9e6b43893936cb13c48b0101c06}, journal = {Telecommun. Syst.}, keywords = {dblp}, number = 4, pages = {2611-2635}, timestamp = {2024-04-09T05:53:58.000+0200}, title = {On automating the verification of secure ad-hoc network routing protocols.}, url = {http://dblp.uni-trier.de/db/journals/telsys/telsys52.html#ThongB13}, volume = 52, year = 2013 }