KIT | KIT-Bibliothek | Impressum

Graph-based representations of Boolean canonical forms

Kebschull, Udo; Rosenstiel, Wolfgang



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