TITLE     : Towards a logic for performance and mobility
AUTHOR(S) : De Nicola R., Katoen J., Latella D., Massink M.
TYPE      : Contribution to conference
YEAR      : 2005
CODE      : 120557

*** DO NOT EDIT THIS FILE ***