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 Sammelwerk2007InformatikWirtschaftswissenschaften
Titel:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Autor(in):
Müller-Clostermann, BrunoLSF; Brenner, Freimut
Erscheinungsjahr
2007