%0 Journal Article %1 journals/eatcs/MeierMMV12 %A Meier, Arne %A Müller, Julian-Steffen %A Mundhenk, Martin %A Vollmer, Heribert %D 2012 %J Bulletin of the EATCS %K %P 49-89 %T Complexity of Model Checking for Logics over Kripke models. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs108.html#MeierMMV12 %V 108

@article{journals/eatcs/MeierMMV12, added-at = {2023-12-12T21:58:46.000+0100}, author = {Meier, Arne and Müller, Julian-Steffen and Mundhenk, Martin and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/230618ff81d69387a936a8562468538fa/admin}, ee = {http://eatcs.org/beatcs/index.php/beatcs/article/view/50}, interhash = {455e98eb660cfc563adedccecc6f5357}, intrahash = {30618ff81d69387a936a8562468538fa}, journal = {Bulletin of the EATCS}, keywords = {}, pages = {49-89}, timestamp = {2023-12-12T21:58:46.000+0100}, title = {Complexity of Model Checking for Logics over Kripke models.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs108.html#MeierMMV12}, volume = 108, year = 2012 }