"Formal verification of a new authenticated and optimized version of AOMDV ..."

Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah (2020)

Details and statistics

DOI: 10.1002/DAC.4275

access: closed

type: Journal Article

metadata version: 2020-07-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics