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

*** DO NOT EDIT THIS FILE ***