https://hal.inria.fr/hal-01724165
Contributor : Lynda Mokdad
<>
Submitted on : Tuesday, March 6, 2018 - 10:50:05 AM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM
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⟩
