%0 Journal Article %1 journals/tcs/KonurFS13 %A Konur, Savas %A Fisher, Michael %A Schewe, Sven %D 2013 %J Theor. Comput. Sci. %K %P 61-88 %T Combined model checking for temporal, probabilistic, and real-time logics. %U http://dblp.uni-trier.de/db/journals/tcs/tcs503.html#KonurFS13 %V 503

@article{journals/tcs/KonurFS13, added-at = {2023-12-13T03:12:16.000+0100}, author = {Konur, Savas and Fisher, Michael and Schewe, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2e04d290cfb104cc36152facda371e9f5/admin}, ee = {https://doi.org/10.1016/j.tcs.2013.07.012}, interhash = {889f1c200badb7624344601573364c71}, intrahash = {e04d290cfb104cc36152facda371e9f5}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {61-88}, timestamp = {2023-12-13T03:12:16.000+0100}, title = {Combined model checking for temporal, probabilistic, and real-time logics.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs503.html#KonurFS13}, volume = 503, year = 2013 }