PUBLICATION: Formal verification of routing protocols for wireless ad hoc networks
© 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