%0 Journal Article %1 Renesse04 %A de Renesse, R. %A Aghvami, A. H. %D 2004 %J IEEE MELECON %K SPIN routing ad-hoc formal verification %P 1177-1182 %T Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker %V IEEE MELECON 2004

@article{Renesse04, added-at = {2011-07-15T15:18:02.000+0200}, author = {de Renesse, R. and Aghvami, A. H.}, biburl = {https://www.bibsonomy.org/bibtex/268eab8ea825cea6258ffc5ac98eced61/msteele}, file = {:I\:\\My Documents\\Thesis\\Research\\Renesse04_[2].pdf:PDF;:I\:\\My Documents\\Thesis\\Research\\Renesse04.pdf:PDF}, interhash = {c5c5e520c479542fd2e1d2f61247cee2}, intrahash = {68eab8ea825cea6258ffc5ac98eced61}, journal = {IEEE MELECON}, keywords = {SPIN routing ad-hoc formal verification}, owner = {Matt}, pages = {1177-1182}, review = {Provides motivation for formal analysis over simulation.}, timestamp = {2011-07-15T19:53:10.000+0200}, title = {{Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker}}, volume = {IEEE MELECON 2004}, year = 2004 }