TITLE     : Model checking of non-finite state processes by finite approximations
AUTHOR(S) : De Francesco N, Fantechi A, Gnesi S, Inverardi P
TYPE      : Conference article
YEAR      : 1995
CODE      : 409758

*** DO NOT EDIT THIS FILE ***