Sh:134
- Gabbay, D. M., Pnueli, A., Shelah, S., & Stavi, J. (1980). On the Temporal Analysis of Fairness. In Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association Comp. Machinery, NY, pp. 163–173. DOI: 10.1145/567446.567462
- published version (11p)
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},
publisher = {Association Comp. Machinery, NY},
doi = {10.1145/567446.567462}
}