TITLE     : A symbolic model checker for ACTL
AUTHOR(S) : Fantechi A, Gnesi S, Mazzanti F, Pugliese R, Tronci E
TYPE      : Conference article
YEAR      : 1999
CODE      : 407578

*** DO NOT EDIT THIS FILE ***