direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Compositional Modeling of Reactive Systems Using Open Nets
Zitatschlüssel BCEH01
Autor Baldan, P. and Corradini, A. and Ehrig, H. and Heckel, R.
Buchtitel Proc. of CONCUR 2001
Seiten 502-518
Jahr 2001
Jahrgang 2154
Herausgeber Larsen, K. G. and Nielse, M.
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe