« Publikationen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
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