TITLE     : D1.1 - Trends in Verification and Validation: Model Checking.
AUTHOR(S) : Massink M
TYPE      : Other
YEAR      : 2003
CODE      : 160085

*** DO NOT EDIT THIS FILE ***