Temporal verification of carrier-sense local area network protocols

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

doi:10.1145/800017.800516

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

Original language	English (US)
Title of host publication	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Publisher	ACM
Pages	54-65
Number of pages	12
ISBN (Print)	0897911253, 9780897911252
DOIs	https://doi.org/10.1145/800017.800516
State	Published - 1984

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

ASJC Scopus subject areas

Software

Access to Document

10.1145/800017.800516

Cite this

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

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

@inproceedings{257d65f4654848c2b40a66c190a587c1,

title = "Temporal verification of carrier-sense local area network protocols",

author = "Shasha, {D. E.} and A. Pnueli and W. Ewald",

year = "1984",

doi = "10.1145/800017.800516",

language = "English (US)",

isbn = "0897911253",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "ACM",

pages = "54--65",

booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

}

TY - GEN

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

AU - Shasha, D. E.

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

U2 - 10.1145/800017.800516

DO - 10.1145/800017.800516

M3 - Conference contribution

AN - SCOPUS:0021122220

SN - 0897911253

SN - 9780897911252

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

SP - 54

EP - 65

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

PB - ACM

ER -

Temporal verification of carrier-sense local area network protocols

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this