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 Sammelwerk2007Wirtschaftswissenschaften
Titel:
Formal Methods in Concurrent Systems Engineering: Survey and Examples
Autor(in):
Müller-Clostermann, BrunoLSF
Erscheinungsjahr
2007