TITLE     : Verification of partial properties - temporal semantics
AUTHOR(S) : Fantechi A, Gnesi S, Laneve C
TYPE      : Other
YEAR      : 1990
CODE      : 453623

*** DO NOT EDIT THIS FILE ***