KIT | KIT-Bibliothek | Impressum | Datenschutz

A co-synthesis approach based on symbolic reachability analysis

Nascimento, Francisco; Rosenstiel, Wolfgang



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 312598
Erscheinungsvermerk In: Brazilian Symposium on Integrated Circuit Design, Rio de Janeiro 1998.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page