TITLE     : Verification on the web of mobile systems
AUTHOR(S) : Ferrari G, Gnesi S, Montanari U, Raggi R, Trentanni G, Tuosto E
TYPE      : Conference article
YEAR      : 2004
CODE      : 91125

*** DO NOT EDIT THIS FILE ***