Paper: On the Eventuality Operator in Temporal Logic (at LICS 1987)
Authors: A. Prasad Sistla Lenore D. ZuckAbstract
No Abstract Available
BibTeX
@InProceedings{SistlaZuck-OntheEventualityOpe, author = {A. Prasad Sistla and Lenore D. Zuck}, title = {On the Eventuality Operator in Temporal Logic}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {153--166}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }