%0 Conference Paper %1 conf/stoc/SafraV89 %A Safra, Shmuel %A Vardi, Moshe Y. %B STOC %D 1989 %E Johnson, David S. %I ACM %K dblp %P 127-137 %T On omega-Automata and Temporal Logic (Preliminary Report) %U http://dblp.uni-trier.de/db/conf/stoc/stoc89.html#SafraV89 %@ 0-89791-307-8

@inproceedings{conf/stoc/SafraV89, added-at = {2023-09-30T00:00:00.000+0200}, author = {Safra, Shmuel and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2c7b1b32d0d274dc192eeabb5071932b4/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC21}, editor = {Johnson, David S.}, ee = {https://doi.org/10.1145/73007.73019}, interhash = {47220ba4280c73c15f265f1afb1193fc}, intrahash = {c7b1b32d0d274dc192eeabb5071932b4}, isbn = {0-89791-307-8}, keywords = {dblp}, pages = {127-137}, publisher = {ACM}, timestamp = {2024-04-10T00:07:49.000+0200}, title = {On omega-Automata and Temporal Logic (Preliminary Report)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc89.html#SafraV89}, year = 1989 }