@inproceedings{MRF:2018,
author = {Gianluca Martino, Heinz Riener and Görschwin Fey},
title = {Coverage-Guided CTL Property Enumeration for Understanding Models of Reactive Systems.},
year = {2018},
month = {July},
note = {gmartino, gfey, CE},
address = {San Francisco / USA},
howpublished = {18-999 MRF:2018 IWLS},
booktitle = {In Proceedings of International Workshop on Logic & Synthesis (IWLS)}
}

@COMMENT{Bibtex file generated on 2026-6-28 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/de/home/publications }