%0 Journal Article %1 journals/iacr/Ta12 %A Ta, Vinh-Thong %D 2012 %J IACR Cryptology ePrint Archive %K dblp %P 139 %T Formal verification of secure ad-hoc network routing protocols using deductive model-checking. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2012.html#Ta12 %V 2012

@article{journals/iacr/Ta12, added-at = {2018-08-14T00:00:00.000+0200}, author = {Ta, Vinh-Thong}, biburl = {https://www.bibsonomy.org/bibtex/29d051c4779a71d3677fca92032f39c1f/dblp}, ee = {http://eprint.iacr.org/2012/139}, interhash = {2572a60652e9b8bdc785ede6ac4f8592}, intrahash = {9d051c4779a71d3677fca92032f39c1f}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 139, timestamp = {2018-08-15T11:59:54.000+0200}, title = {Formal verification of secure ad-hoc network routing protocols using deductive model-checking.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2012.html#Ta12}, volume = 2012, year = 2012 }