![](/img/cover-not-exists.png)
[IEEE 2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA) - Rabat (2015.10.20-2015.10.21)] 2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA) - Formal verification of MPR selection algorithm in the OLSR protocol
Barki, Omar, Guennoun, Zouhair, Addaim, AdnaneYear:
2015
Language:
english
DOI:
10.1109/SITA.2015.7358414
File:
PDF, 328 KB
english, 2015