%0 Conference Paper %1 conf/pimrc/FolioCK05 %A Folio, Rich %A Cain, J. Bibb %A Kota, Sastri %B PIMRC %D 2005 %I IEEE %K dblp %P 1317-1321 %T Challenges in the verification of mobile ad-hoc networking systems. %U http://dblp.uni-trier.de/db/conf/pimrc/pimrc2005.html#FolioCK05 %@ 9783800729098

@inproceedings{conf/pimrc/FolioCK05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Folio, Rich and Cain, J. Bibb and Kota, Sastri}, biburl = {https://www.bibsonomy.org/bibtex/2bfd50d32f7b68ac773c44eaadebba1b5/dblp}, booktitle = {PIMRC}, crossref = {conf/pimrc/2005}, ee = {https://doi.org/10.1109/PIMRC.2005.1651654}, interhash = {70c1a88aecf266604241b465fed8fa10}, intrahash = {bfd50d32f7b68ac773c44eaadebba1b5}, isbn = {9783800729098}, keywords = {dblp}, pages = {1317-1321}, publisher = {IEEE}, timestamp = {2019-10-17T12:30:29.000+0200}, title = {Challenges in the verification of mobile ad-hoc networking systems.}, url = {http://dblp.uni-trier.de/db/conf/pimrc/pimrc2005.html#FolioCK05}, year = 2005 }