Lynda Mokdad, Youcef Hammal, Jalel Ben-Othman, Abdelli Abdelkrim. Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols. In 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015. pages 3579-3584, IEEE, 2015. [doi]