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 / Haug, Frieder; Löwe, Benedikt; Schatz, Torsten (Hrsg.). - London: College Publications, 2007 - (Studies in Logic ; 4), S. 157 - 174
2007Buchaufsatz/Kapitel in Festschrift
Wirtschaftswissenschaften
Titel in Deutsch:
Formal Methods in Concurrent Systems Engineering : Survey and Examples
Autor*in:
Müller-Clostermann, BrunoUDE
LSF ID
5102
Sonstiges
der Hochschule zugeordnete*r Autor*in
Sprache des Textes:
Englisch