@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 = {<em>In Proceedings of International Workshop on Logic & Synthesis (IWLS)</em>}
}

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