TITLE     : Combining interaction and automation in process algebra verification
AUTHOR(S) : Camilleri A., Inverardi P., Nesi M.
TYPE      : Conference article
YEAR      : 1991
CODE      : 449268

*** DO NOT EDIT THIS FILE ***