%0 Journal Article %1 journals/jacm/KupfermanVW00 %A Kupferman, Orna %A Vardi, Moshe Y. %A Wolper, Pierre %D 2000 %J J. ACM %K dblp %N 2 %P 312-360 %T An automata-theoretic approach to branching-time model checking. %U http://dblp.uni-trier.de/db/journals/jacm/jacm47.html#KupfermanVW00 %V 47

@article{journals/jacm/KupfermanVW00, added-at = {2024-02-05T00:00:00.000+0100}, author = {Kupferman, Orna and Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2d1b3fe3ff8cbc7ce893010f9752f75b5/dblp}, ee = {https://doi.org/10.1145/333979.333987}, interhash = {abbbe781fd9a213b40e787a934a20935}, intrahash = {d1b3fe3ff8cbc7ce893010f9752f75b5}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {312-360}, timestamp = {2024-04-08T20:01:51.000+0200}, title = {An automata-theoretic approach to branching-time model checking.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm47.html#KupfermanVW00}, volume = 47, year = 2000 }