KIT | KIT-Bibliothek | Impressum | Datenschutz

Theorem provers in circuit design

Kumar, Ramayya; Kropf, Thomas



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Publikationsjahr 1994
Sprache Deutsch
Identifikator KITopen-ID: 189794
Erscheinungsvermerk Karlsruhe 1994. (FZI-Publikation. 1994,4.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page