Formal Verification of a New Version of AOMDV in ad hoc Network
Amine, Djellouli Ahmed, Kamel, Abdi Mustapha, Bouabdellah, KecharVolume:
37
Year:
2014
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2014.08.025
File:
PDF, 1.29 MB
english, 2014