Müller-Clostermann, Bruno:
Formal Methods in Concurrent Systems Engineering: Survey and Examples
In: Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag : Studies in Logic / Haug, Frieder; Löwe, Benedikt; Schatz, Torsten (Hrsg.). - London: College Publications, 2007, S. 157 - 174
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Formal Methods in Concurrent Systems Engineering: Survey and Examples
Autor(in):
Müller-Clostermann, Bruno im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2007
Erschienen in:
Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag : Studies in Logic / Haug, Frieder; Löwe, Benedikt; Schatz, Torsten (Hrsg.). - London: College Publications, 2007, S. 157 - 174