@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 = {In Proceedings of Forum on Specification and Design Languages (FDL)}
}

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