TITLE     : Towards a logic for performance and mobility
AUTHOR(S) : De Nicola R., Katoen J., Latella D., Massink M.
TYPE      : Journal article
YEAR      : 2006
CODE      : 68340

*** DO NOT EDIT THIS FILE ***