TITLE     : Verifying reactive systems by talking to them
AUTHOR(S) : Fantechi A, Gnesi S, Ristori G
TYPE      : Conference article
YEAR      : 1993
CODE      : 412827

*** DO NOT EDIT THIS FILE ***