%0 Conference Paper %1 conf/popl/ShashaPE84 %A Shasha, Dennis E. %A Pnueli, Amir %A Ewald, W. %B POPL %D 1984 %E Kennedy, Ken %E Deusen, Mary S. Van %E Landweber, Larry %I ACM Press %K dblp %P 54-65 %T Temporal Verification of Carrier-Sense Local Area Network Protocols. %U http://dblp.uni-trier.de/db/conf/popl/popl84.html#ShashaPE84 %@ 0-89791-125-3

@inproceedings{conf/popl/ShashaPE84, added-at = {2016-08-11T00:00:00.000+0200}, author = {Shasha, Dennis E. and Pnueli, Amir and Ewald, W.}, biburl = {https://www.bibsonomy.org/bibtex/2e6bff5b50134481e217df987f6510a96/dblp}, booktitle = {POPL}, crossref = {conf/popl/1984}, editor = {Kennedy, Ken and Deusen, Mary S. Van and Landweber, Larry}, ee = {http://doi.acm.org/10.1145/800017.800516}, interhash = {1b7cced589638770ae5636fd91d98e33}, intrahash = {e6bff5b50134481e217df987f6510a96}, isbn = {0-89791-125-3}, keywords = {dblp}, pages = {54-65}, publisher = {ACM Press}, timestamp = {2016-08-12T11:44:34.000+0200}, title = {Temporal Verification of Carrier-Sense Local Area Network Protocols.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl84.html#ShashaPE84}, year = 1984 }