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 (Eds.). - London: College Publications, 2007 - (Studies in Logic ; 4), pp. 157 - 174
2007book article/chapter in Festschrift
Economics
Title in German:
Formal Methods in Concurrent Systems Engineering : Survey and Examples
Author:
Müller-Clostermann, BrunoUDE
LSF ID
5102
Other
connected with university
Language of text:
English
Appears in
Algebra, Logic, Set Theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
Editor:
Haug, Frieder;Löwe, Benedikt;Schatz, Torsten
Place of publication:
London
Publisher:
College Publications
Year of publication:
2007
in:
pp. 157 - 174
ISBN
1-904987-28-1
ISBN
978-1-904987-28-4
In Series
Studies in Logic
in:
Vol. 4