@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 2024-3-28 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }