TITLE     : ActLab: an action based toolset (verifying reactive systems by talking to them)
AUTHOR(S) : Fantechi A, Gnesi S, Ristori G
TYPE      : Conference article
YEAR      : 1994
CODE      : 409291

*** DO NOT EDIT THIS FILE ***