Events

e67
March 07, 2008PhD Defense: Model Checking Markov Chains: Techniques and Tools
Ivan Zapreev

To be announced.