TITLE     : A model-checking verification environment for mobile processes
AUTHOR(S) : Ferrari Gl, Gnesi S, Montanari U, Pistore M
TYPE      : Journal article
YEAR      : 2003
CODE      : 43909

*** DO NOT EDIT THIS FILE ***