Omar Barki, Zouhair Guennoun, Adnane Addaim. Formal verification of MPR selection algorithm in the OLSR protocol. In 10th International Conference on Intelligent Systems: Theories and Applications, SITA 2015, Rabat, Morocco, October 20-21, 2015. pages 1-5, IEEE, 2015. [doi]
Abstract is missing.