Müller-Clostermann, Bruno; Brenner, Freimut:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
In: Tagungsband Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen / Heidtmann, K.; Wolfinger, B. (Hrsg.). - Hamburg, 2007
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik; Wirtschaftswissenschaften
Titel:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Autor(in):
Müller-Clostermann, Bruno im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Brenner, Freimut
Erscheinungsjahr:
2007
Erschienen in:
Tagungsband Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen / Heidtmann, K.; Wolfinger, B. (Hrsg.). - Hamburg, 2007