Andreas Krebs, Arne Meier, Martin Mundhenk. The model checking fingerprints of CTL operators. Acta Informatica, 56(6):487-519, 2019. [doi]
@article{KrebsMM19,
title = {The model checking fingerprints of CTL operators},
author = {Andreas Krebs and Arne Meier and Martin Mundhenk},
year = {2019},
doi = {10.1007/s00236-018-0326-9},
url = {https://doi.org/10.1007/s00236-018-0326-9},
researchr = {https://researchr.org/publication/KrebsMM19},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {56},
number = {6},
pages = {487-519},
}