Formal Verification of a New Version of AOMDV in ad hoc Network.

Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah

Browse the full EUSPN paper archive.