Djellouli Ahmed Amine, Abdi Mustapha Kamel, Kechar Bouabdellah. Formal Verification of a New Version of AOMDV in ad hoc Network. In The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, September 22-25, 2014, Halifax, Nova Scotia, Canada. Volume 37 of Procedia Computer Science, pages 160-167, Elsevier, 2014. [doi]
@inproceedings{AmineKB14,
title = {Formal Verification of a New Version of AOMDV in ad hoc Network},
author = {Djellouli Ahmed Amine and Abdi Mustapha Kamel and Kechar Bouabdellah},
year = {2014},
doi = {10.1016/j.procs.2014.08.025},
url = {http://dx.doi.org/10.1016/j.procs.2014.08.025},
researchr = {https://researchr.org/publication/AmineKB14},
cites = {0},
citedby = {0},
pages = {160-167},
booktitle = {The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, September 22-25, 2014, Halifax, Nova Scotia, Canada},
volume = {37},
series = {Procedia Computer Science},
publisher = {Elsevier},
}