-
MS
-
Professorship
-
Team
-
Employees
Dr. Falko Bause
C++ für Programmierer Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1. edition 1990, 2. revised edition 1991. Bause, F. Funktionale Analyse zeitbehafteter Petri-Netze Deutscher Universitäts [...] t, Modelling and Evaluation of Computer and Communication Systems VDE Verlag (ISBN 978-3-8007-3090-2), 2008. Bause, F.; Beilner, H.; Kriege, J. ProC/B: Eine Modellierungsumgebung zur prozessketten-orientierten [...] Models ISoLA - 1st International Symposium on Leveraging Applications of Formal Method, 30th October - 2st November 2004, Paphos, Cyprus. ( abstract ) Bause, F.; Buchholz, P. Modellierung von Supply Chains …