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.
PhD Defense: Model Checking Markov Chains: Techniques and ToolsWhen: March 7, 2008, 0:00 - March 7, 2008, 23:59 Who: Ivan Zapreev To be announced. |