Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.

Russell J. Haines, Alistair Munro, Gary Clemo

Browse the full VTC paper archive.