Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim. Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. Journal of Communications and Networks, 16(4):385-396, 2014. [doi]

Abstract

Abstract is missing.