@book{EURECOM+2657, author = {Cāmara, Daniel and Loureiro, Antonio A F and Filali, Fethi}, title = {Formal verification of routing protocols for wireless ad hoc networks}, year = {2009}, series = {Book chapter N°8 in \"Guide to wireless ad hoc networks\", Springer, January 2009, ISBN: 978-1-84800-327-9}, note = {© Springer. Personal use of this material is permitted. The definitive version of this paper was published in Book chapter N°8 in \"Guide to wireless ad hoc networks\", Springer, January 2009, ISBN: 978-1-84800-327-9 and is available at : http://dx.doi.org/10.1007/978-1-84800-328-6\_8}, editor = {Springer}, }