KIT | KIT-Bibliothek | Impressum

Formale Verifikation von MOS-Transistorschaltungen

Froessl, Jürgen



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 2996
Erscheinungsvermerk Aachen 1996. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 16.2.1996.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 16.2.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page