Department Seminar Series
Modelling and verification of probabilistic systems
1st March 2005, 16:00
Marta Kwiatkowska
School of Computer Science, University of Birmingham, UK
Maintained by Othon Michail