KIT | KIT-Bibliothek | Impressum | Datenschutz

Automatic Correct Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis

Kapp, K.; Sabelfeld, V.



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Proceedingsbeitrag
Jahr 2004
Sprache Englisch
Identifikator KITopen-ID: 1000002678
Erschienen in Proceedings, 41st Design Automation Conference, San Diego, USA, 7.6.-11.6.04
Verlag San Diego
Seiten 61-66
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page