Modelling and verification of probabilistic systems

1^st March 2005, 16:00
Marta Kwiatkowska
School of Computer Science, University of Birmingham, UK