TITLE     : CMC: COWS model checker version 0.4
AUTHOR(S) : Mazzanti F
TYPE      : Software
YEAR      : 2007
CODE      : 149550

*** DO NOT EDIT THIS FILE ***