Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol - Université Paris-Est-Créteil-Val-de-Marne
Journal Articles Journal of Communications and Networks Year : 2014
No file

Dates and versions

hal-04030501 , version 1 (15-03-2023)

Identifiers

Cite

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli. Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. Journal of Communications and Networks, 2014, 16 (4), pp.385-396. ⟨10.1109/JCN.2014.000068⟩. ⟨hal-04030501⟩
18 View
0 Download

Altmetric

Share

More