KIT | KIT-Bibliothek | Impressum

Theorem provers in circuit design

Kumar, Ramayya; Kropf, Thomas



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Jahr 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