Temporal verification of carrier-sense local area network protocols

Dennis Shasha, A. Pnueli, W. Ewald

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherACM
Pages54-65
Number of pages12
ISBN (Print)0897911253
StatePublished - 1984

Fingerprint

Local area networks
Network protocols

ASJC Scopus subject areas

  • Software

Cite this

Shasha, D., Pnueli, A., & Ewald, W. (1984). Temporal verification of carrier-sense local area network protocols. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 54-65). ACM.

Temporal verification of carrier-sense local area network protocols. / Shasha, Dennis; Pnueli, A.; Ewald, W.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, 1984. p. 54-65.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Shasha, D, Pnueli, A & Ewald, W 1984, Temporal verification of carrier-sense local area network protocols. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, pp. 54-65.
Shasha D, Pnueli A, Ewald W. Temporal verification of carrier-sense local area network protocols. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM. 1984. p. 54-65
Shasha, Dennis ; Pnueli, A. ; Ewald, W. / Temporal verification of carrier-sense local area network protocols. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, 1984. pp. 54-65
@inproceedings{257d65f4654848c2b40a66c190a587c1,
title = "Temporal verification of carrier-sense local area network protocols",
author = "Dennis Shasha and A. Pnueli and W. Ewald",
year = "1984",
language = "English (US)",
isbn = "0897911253",
pages = "54--65",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "ACM",

}

TY - GEN

T1 - Temporal verification of carrier-sense local area network protocols

AU - Shasha, Dennis

AU - Pnueli, A.

AU - Ewald, W.

PY - 1984

Y1 - 1984

UR - http://www.scopus.com/inward/record.url?scp=0021122220&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021122220&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0021122220

SN - 0897911253

SP - 54

EP - 65

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

PB - ACM

ER -