Russell J. Haines, Alistair Munro, Gary Clemo. Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF. In Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia. pages 1171-1175, IEEE, 2006. [doi]
Abstract is missing.