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

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim

Browse the full ISCC paper archive.