%0 Journal Article %1 journals/jacm/CookKP17 %A Cook, Byron %A Khlaaf, Heidy %A Piterman, Nir %D 2017 %J J. ACM %K dblp %N 2 %P 15:1-15:39 %T Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. %U http://dblp.uni-trier.de/db/journals/jacm/jacm64.html#CookKP17 %V 64

@article{journals/jacm/CookKP17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cook, Byron and Khlaaf, Heidy and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/20434dd2e9d8e1d8543f3ec8e541206ff/dblp}, ee = {https://doi.org/10.1145/3060257}, interhash = {ad1b4fdf2b69940af85d432c6f5dfae4}, intrahash = {0434dd2e9d8e1d8543f3ec8e541206ff}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {15:1-15:39}, timestamp = {2018-11-07T12:12:03.000+0100}, title = {Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm64.html#CookKP17}, volume = 64, year = 2017 }