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.
Workshop: An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006When: Nov. 30, 2006, 12:30 - Dec. 1, 2006, 13:30 Who: other: To be announced. |