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