Reference:
Daniel Hausmann, Tadeusz Litak, Christoph Rauch and Matthias Zinner: Cheap CTL Compassion in NuSMV, In 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020), LNCS, vol. 11990, pp. 248–269, Springer, 2020. Artifact evaluation: Available and Functional
Bibtex Entry:
@string{springer="Springer"}
@string{lncs="LNCS"}
@inproceedings{hausmannea:vmcai2020,
author = {Daniel Hausmann and Tadeusz Litak and Christoph Rauch and Matthias Zinner},
title = {Cheap CTL Compassion in NuSMV},
booktitle = {21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020)},
year = {2020},
pages = {248--269},
publisher = {Springer},
series = {LNCS},
volume = {11990},
url = {https://doi.org/10.1007/978-3-030-39322-9_12},
note = {Artifact evaluation: Available and Functional}
}