%0 Journal Article %1 journals/tcs/KonurFS13 %A Konur, Savas %A Fisher, Michael %A Schewe, Sven %D 2013 %J Theor. Comput. Sci. %K myown %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 = {2016-05-29T22:21:15.000+0200}, author = {Konur, Savas and Fisher, Michael and Schewe, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2e04d290cfb104cc36152facda371e9f5/mfisher}, ee = {http://dx.doi.org/10.1016/j.tcs.2013.07.012}, interhash = {889f1c200badb7624344601573364c71}, intrahash = {e04d290cfb104cc36152facda371e9f5}, journal = {Theor. Comput. Sci.}, keywords = {myown}, pages = {61-88}, timestamp = {2016-05-29T22:21:15.000+0200}, 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 }