KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of switch-level designs with many-valued logic

Haehnle, Reiner; Kernig, Werner

Open Access Logo


Volltext §
DOI: 10.5445/IR/152295
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator ISBN: 3-540-56944-8
ISSN: 0302-9743
urn:nbn:de:swb:90-AAA1522954
KITopen-ID: 152295
Erschienen in Logic programming and automated reasoning. Ed.: A. Voronkov
Verlag Springer, Berlin
Seiten 158 - 169
Serie Lecture notes in computer science ; 698
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page