TITLE     : Actlab: verifying reactive systems by talking to them
AUTHOR(S) : Fantechi A, Gnesi S, Ristori G
TYPE      : Conference article
YEAR      : 1994
CODE      : 409008

*** DO NOT EDIT THIS FILE ***