Workshop: An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006

When: Nov. 30, 2006, 12:30 - Dec. 1, 2006, 13:30

Who: other:

To be announced.