collaborators

1 paper

cs.LO2004

Scalable Probabilistic Models for 802.11 Protocol Verification

Amitabha Roy, K. Gopinath

The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access control layer (MAC) is a carrier sense multiple access with collision avoidance (…