10th IEEE International Conference on Network Protocols, 2002. Proceedings.
Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines
DOI Bookmark: 10.1109/ICNP.2002.1181394
Authors
Moustafa A. Youssef, University of Maryland at College ParkArunchandar Vasan, University of Maryland at College Park
Raymond E. Miller, University of Maryland at College Park