TITLE     : Formal verification of OMT dynamic models
AUTHOR(S) : Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 1997
CODE      : 408839

*** DO NOT EDIT THIS FILE ***