Sh:134

Bib entry
@inproceedings{Sh:134,
 author = {Gabbay, Dov M. and Pnueli, Amir and Shelah, Saharon and Stavi, Jonathan},
 title = {{On the Temporal Analysis of Fairness}},
 booktitle = {{Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}},
 series = {POPL '80},
 year = {1980},
 pages = {163--173},
 isbn = {0-89791-011-7},
 doi = {10.1145/567446.567462},
 doi = {10.1145/567446.567462},
 publisher = {Association Comp. Machinery, NY}
}