Geschossbau V Raum 406a
Zi.
406a
No office hour 21th January 2010.
(Out of lecturing times or in urgent cases please make an appointment via email!)
Tel.: +49 (0)231 755 4746
Fax: +49 (0)231 755 4730
E-Mail: peter.buchholz@XXXcs.uni-dortmund.de (please remove XXX for the correct email address)
Numerical analysis techniques for large Markov chains
Hybrid analysis techniques for discrete systems
Softwaretools for modelling and analysis
Petri nets and related models
Analysis of logistic networks
Analysis of communication-systems and -protocols
Memberships in program committees
Peter Buchholz, Informatik IV, Fakultät für Informatik
Created by Peter
Buchholz, last revised on 12.09.2008