Temporal verification of carrier-sense local area network protocols

D. E. Shasha, A. Pnueli, W. Ewald

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Temporal verification of carrier-sense local area network protocols'. Together they form a unique fingerprint.