Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.

Russell J. Haines, Gary Clemo, Alistair Munro

Browse the full VTC paper archive.