KIT | KIT-Bibliothek | Impressum | Datenschutz

Applicability of formal synthesis illustrated via scheduling

Blumenroehr, Christian; Eisenbiegler, Dirk; Kumar, Ramayya

Open Access Logo


Volltext §
DOI: 10.5445/IR/339596
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1996
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA3395963
KITopen-ID: 339596
Erschienen in IWLAS'96, Workshop on Logic and Architecture Synthesis, Grenoble, France 1996
Seiten 345-352
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page