TITLE     : Verifying Mobile Processes in the HAL Environment
AUTHOR(S) : Ferrari G, Gnesi S, Montanari U, Pistore M, Ristori G
TYPE      : Conference article
YEAR      : 1998
CODE      : 409606

*** DO NOT EDIT THIS FILE ***