Müller-Clostermann, Bruno; Brenner, Freimut:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen
Hamburg, 2007
2007Vortrag
InformatikWirtschaftswissenschaften
Titel in Englisch:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Konferenz
Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen
Autor*in:
Müller-Clostermann, BrunoUDE
LSF ID
5102
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Brenner, Freimut
Erscheinungsort:
Hamburg
Erscheinungsjahr:
2007
Sprache des Textes:
Englisch