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 / Fach: Wirtschaftswissenschaften