KIT | KIT-Bibliothek | Impressum

Semantics and transformations in formal synthesis at system level

Sabelfeld, Viktor; Blumenroehr, Christian; Kapp, Kai



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Englisch
Identifikator KITopen ID: 31822001
Erscheinungsvermerk In: Perspectives of system informatics. PSI 2001. Ed.: D. Bjorner. Berlin 2001. S. 149-156. (Lecture notes in computer science. 2244.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page