Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}