Amine, Djellouli Ahmed
Kamel, Abdi Mustapha
Bouabdellah, Kechar
This article is maintained by: Elsevier
Article Title: Formal Verification of a New Version of AOMDV in ad hoc Network
Journal Title: Procedia Computer Science
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.procs.2014.08.025
Content Type: article
Copyright: Copyright © 2014 The Authors. Published by Elsevier B.V.