Dennis Shasha, Amir Pnueli, W. Ewald
Temporal Verification of Carrier-Sense Local Area Network Protocols
POPL, 1984.
@inproceedings{POPL-1984-ShashaPE,
author = "Dennis Shasha and Amir Pnueli and W. Ewald",
booktitle = "{Conference Record of the 11th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/800017.800516",
editor = "Ken Kennedy and Mary S. Van Deusen and Larry Landweber",
isbn = "0-89791-125-3",
pages = "54--65",
publisher = "{ACM Press}",
title = "{Temporal Verification of Carrier-Sense Local Area Network Protocols}",
year = 1984,
}