Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli. Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol.
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2014.
⟨hal-01724165⟩