KIT | KIT-Bibliothek | Impressum | Datenschutz

Ein funktionaler Ansatz zur systematischen Formalisierung regulärer Schaltungen

Eisenbiegler, Dirk; Schneider, Klaus; Kumar, Ramayya

Open Access Logo


Volltext §
DOI: 10.5445/IR/369196
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 1993
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA3691965
KITopen-ID: 369196
Verlag Universität Karlsruhe, Karlsruhe
Serie Technical report. SFB 358 ; C2-15/93.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page