TITLE     : Model checking a mobile telephone system
AUTHOR(S) : Gnesi S, Ristori G
TYPE      : Conference article
YEAR      : 1997
CODE      : 409275

*** DO NOT EDIT THIS FILE ***