%0 Journal Article %1 Wibling04 %A Wibling, O. %A J.Parrow, %A Pears, A. %D 2004 %J FORTE 2004 %K LUNAR MANET SPIN UPPAAL checking formal model protocol routing verification %P 343-358 %T Automatized verification of ad-hoc routing protocols, in: Formal Techniques for Networked and Distributed Systems %V 3235

@article{Wibling04, added-at = {2011-07-15T15:18:02.000+0200}, author = {Wibling, O. and J.Parrow and Pears, A.}, biburl = {https://www.bibsonomy.org/bibtex/2b705d70270087ccc54270607d1df1f60/msteele}, file = {:I\:\\My Documents\\Thesis\\Research\\Wibling04.pdf:PDF}, interhash = {19eaecce4b82bb13b07cdf4906d5a44e}, intrahash = {b705d70270087ccc54270607d1df1f60}, journal = {FORTE 2004}, keywords = {LUNAR MANET SPIN UPPAAL checking formal model protocol routing verification}, owner = {Matt}, pages = {343-358}, timestamp = {2011-07-15T20:44:45.000+0200}, title = {{Automatized verification of ad-hoc routing protocols, in: Formal Techniques for Networked and Distributed Systems}}, volume = 3235, year = 2004 }