%0 Journal Article %1 journals/jacm/EsparzaKS20 %A Esparza, Javier %A Kretínský, Jan %A Sickert, Salomon %D 2020 %J J. ACM %K dblp %N 6 %P 33:1-33:61 %T A Unified Translation of Linear Temporal Logic to ω-Automata. %U http://dblp.uni-trier.de/db/journals/jacm/jacm67.html#EsparzaKS20 %V 67

@article{journals/jacm/EsparzaKS20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier and Kretínský, Jan and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/279b70e556b7d0b13d636432ea6981969/dblp}, ee = {https://doi.org/10.1145/3417995}, interhash = {02462635f6e60892ba66b08d6ffe60b9}, intrahash = {79b70e556b7d0b13d636432ea6981969}, journal = {J. ACM}, keywords = {dblp}, number = 6, pages = {33:1-33:61}, timestamp = {2024-04-08T20:02:03.000+0200}, title = {A Unified Translation of Linear Temporal Logic to ω-Automata.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm67.html#EsparzaKS20}, volume = 67, year = 2020 }