%0 Conference Paper %1 conf/mwcn/ButtyaT10 %A Buttyán, Levente %A Thong, Ta Vinh %B WMNC %D 2010 %I IEEE %K dblp %P 1-6 %T Formal verification of secure ad-hoc network routing protocols using deductive model-checking. %U http://dblp.uni-trier.de/db/conf/mwcn/wmnc2010.html#ButtyaT10

@inproceedings{conf/mwcn/ButtyaT10, added-at = {2023-07-25T00:00:00.000+0200}, author = {Buttyán, Levente and Thong, Ta Vinh}, biburl = {https://www.bibsonomy.org/bibtex/27ff018f1d0a38bbfee0d64f879d0bde4/dblp}, booktitle = {WMNC}, crossref = {conf/mwcn/2010}, ee = {https://doi.org/10.1109/WMNC.2010.5678752}, interhash = {cc82855a65f7e54e816156d316911ebc}, intrahash = {7ff018f1d0a38bbfee0d64f879d0bde4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T16:52:44.000+0200}, title = {Formal verification of secure ad-hoc network routing protocols using deductive model-checking.}, url = {http://dblp.uni-trier.de/db/conf/mwcn/wmnc2010.html#ButtyaT10}, year = 2010 }