TITLE     : An automata based verification encironment for mobile processes
AUTHOR(S) : Ferrari Gl, Ferro G, Gnesi S, Montanari U, Pistore M, Ristori G
TYPE      : Conference article
YEAR      : 1997
CODE      : 409222

*** DO NOT EDIT THIS FILE ***