@book{Wosnitza2009, author = {Franz Wosnitza}, title = {Werkzeuge des MIMOLA-Hardware-Entwurfssystems. / Kelle, K. ; Kr{\"u}ger, G. ; Marwedel, P. ; Nowak, L. ; Terasa, L. ; Wosnitza, F.}, year = {2009}, }