@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 = {In Proceedings of Workshop on Design Automation for Understanding Hardware Designs (DUHDE)} } @COMMENT{Bibtex file generated on 2024-3-28 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }