KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal synthesis in circuit design - a classification and survey

Kumar, Ramayya; Blumenroehr, Christian; Eisenbiegler, Dirk; Schmid, Detlef


Volltext §
DOI: 10.5445/IR/339496
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Publikationsjahr 1996
Sprache Englisch
Identifikator ISBN: 3-540-61937-2
urn:nbn:de:swb:90-AAA3394966
KITopen-ID: 339496
Erschienen in Formal methods in computer-aided design. FMCAD '96. Ed.: M. Srivas
Verlag Springer-Verlag
Seiten 294-309
Serie Lecture notes in computer science ; 1166
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page