PhD Defense: Model Checking Markov Chains: Techniques and Tools

When: March 7, 2008, 0:00 - March 7, 2008, 23:59

Who: Ivan Zapreev

To be announced.