%0 Journal Article %1 journals/acta/KrebsMM19 %A Krebs, Andreas %A Meier, Arne %A Mundhenk, Martin %D 2019 %J Acta Inf. %K dblp %N 6 %P 487-519 %T The model checking fingerprints of CTL operators. %U http://dblp.uni-trier.de/db/journals/acta/acta56.html#KrebsMM19 %V 56

@article{journals/acta/KrebsMM19, added-at = {2019-08-21T00:00:00.000+0200}, author = {Krebs, Andreas and Meier, Arne and Mundhenk, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2511019ac6481e5612555a26343e2a283/dblp}, ee = {https://doi.org/10.1007/s00236-018-0326-9}, interhash = {57123054c159b13004f5a3fe3efe316c}, intrahash = {511019ac6481e5612555a26343e2a283}, journal = {Acta Inf.}, keywords = {dblp}, number = 6, pages = {487-519}, timestamp = {2019-08-22T11:39:22.000+0200}, title = {The model checking fingerprints of CTL operators.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta56.html#KrebsMM19}, volume = 56, year = 2019 }