« Publikationen
Guiding proberty development with SAT-based coverage calculation
Molitor, Paul ; Hoffmann, Roberto
2009 52th IEEE International Midwest Symposium on Circuits and Systems. - Piscataway, NJ : IEEE Service Center, S. 1199-1202
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren