KIT | KIT-Bibliothek | Impressum | Datenschutz

Graph-based representations of Boolean canonical forms

Kebschull, Udo; Rosenstiel, Wolfgang


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1994
Sprache Englisch
Identifikator KITopen-ID: 194294
Erscheinungsvermerk In: Anwendung formaler Methoden im Systementwurf. GI/ITG-Workshop, Frankfurt 1994. Frankfurt 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page