KIT | KIT-Bibliothek | Impressum | Datenschutz

Co-synthesis using a partial order based model of concurrency

Nascimento, Francisco; Rosenstiel, Wolfgang



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 312098
Erscheinungsvermerk In: 1st International Workshop on Design, Test and Applications, Dubrovnik, Croatia 1998.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page