TITLE     : Verifying concurrent system by talking to them
AUTHOR(S) : Fantechi A, Gnesi S, Ristori G, Carenini M, Marino M, Moreschini P
TYPE      : Other
YEAR      : 1992
CODE      : 414059

*** DO NOT EDIT THIS FILE ***