Events

e58
Nov 30, 2006 12:30
-
Dec 01, 2006 13:30
An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006

To be announced.