Temporal Verification of Carrier-Sense Local Area Network Protocols.

Dennis E. Shasha, Amir Pnueli, W. Ewald

Browse the full POPL paper archive.