@inproceedings{MF:2019,
Author = {Gianluca Martino and Goerschwin Fey},
Title = {Syntax-Guided Enumeration of Temporal Properties.},
Year = {(2019).},
Note = {gmartino, gfey, CE},
Address = {Southampton / United Kingdom},
Isbn = {10.1109/FDL.2019.8876892},
Howpublished = {19-999 MF:2019 FDL},
Booktitle = {<em>In Proceedings of Forum on Specification and Design Languages (FDL)</em>}
}

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