@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},
}