@inproceedings{MRF:2019,
Author = {Gianluca Martino, Heinz Riener and Görschwin Fey},
Title = {Complete Specification Mining.},
Year = {(2019).},
Month = {March},
Note = {gmartino, gfey, CE},
Address = {Florence / Italy},
Howpublished = {19-999 MRF:2019 DUHDE},
Booktitle = {<em>In Proceedings of Workshop on Design Automation for Understanding Hardware Designs (DUHDE)</em>}
}

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