%0 Journal Article %1 journals/iandc/GerthKPP99 %A Gerth, Rob %A Kuiper, Ruurd %A Peled, Doron A. %A Penczek, Wojciech %D 1999 %J Inf. Comput. %K dblp %N 2 %P 132-152 %T A Partial Order Approach to Branching Time Logic Model Checking. %U http://dblp.uni-trier.de/db/journals/iandc/iandc150.html#GerthKPP99 %V 150

@article{journals/iandc/GerthKPP99, added-at = {2023-11-21T00:00:00.000+0100}, author = {Gerth, Rob and Kuiper, Ruurd and Peled, Doron A. and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/21c145bb31512ec7a1a71aa5d12e318aa/dblp}, ee = {https://doi.org/10.1006/inco.1998.2778}, interhash = {43b198371adef818b02cf08085d31851}, intrahash = {1c145bb31512ec7a1a71aa5d12e318aa}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {132-152}, timestamp = {2024-04-09T06:11:38.000+0200}, title = {A Partial Order Approach to Branching Time Logic Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc150.html#GerthKPP99}, volume = 150, year = 1999 }