TITLE     : Verification of properties of human-computer dialogues with an infinite number of states
AUTHOR(S) : Mezzanotte M., Paternò F.
TYPE      : Other
YEAR      : 1996
CODE      : 446354

*** DO NOT EDIT THIS FILE ***