Tutorial: Problem Solving with Model Checking Techniques
When: June 12, 2011, 0:00 - June 12, 2011, 23:59
Where: at ICAPS 2011 in Freiburg, Germany
Who: Michael Weber and Jaco van de Pol
To be announced.
Tutorial: Problem Solving with Model Checking TechniquesWhen: June 12, 2011, 0:00 - June 12, 2011, 23:59 Where: at ICAPS 2011 in Freiburg, Germany Who: Michael Weber and Jaco van de Pol To be announced. |