Forschungsportal Sachsen-Anhalt
« Publikationen
Publikation

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