TITLE     : A model checking verification environment for mobile systems
AUTHOR(S) : Ferrari G, Gnesi S, Montanari U, Pistore M
TYPE      : Other
YEAR      : 2003
CODE      : 160102

*** DO NOT EDIT THIS FILE ***