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
Erschienen in:
Titel:
Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag : Studies in Logic
Herausgeber(in):
Haug, Frieder; Löwe, Benedikt; Schatz, Torsten
Erscheinungsort
London
Verlag
College Publications
Erscheinungsjahr
2007
in:
S. 157 - 174