TITLE     : Finite approximations for model checking non-finite-state processes
AUTHOR(S) : De Francesco N, Fantechi A, Gnesi S, Inverardi P
TYPE      : Journal article
YEAR      : 2001
CODE      : 43934

*** DO NOT EDIT THIS FILE ***