KIT | KIT-Bibliothek | Impressum | Datenschutz

On the efficiency of formal synthesis - experimental results

Blumenroehr, Christian; Eisenbiegler, Dirk; Schmid, Detlef


Volltext §
DOI: 10.5445/IR/101199
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1999
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA1011994
KITopen-ID: 101199
Erscheinungsvermerk IEEE trans. on comput.-aided des. of integrated circuits and syst. 18 (1999) H. 1 S. 25-32.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page