Russell J. Haines, Gary Clemo, Alistair Munro. Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF. In Proceedings of the 64th IEEE Vehicular Technology Conference, VTC Fall 2006, 25-28 September 2006, Montréal, Québec, Canada. pages 1-5, IEEE, 2006. [doi]
Abstract is missing.