TITLE     : Model checking mobile stochastic logic
AUTHOR(S) : De Nicola R, Katoen Jp, Latella D, Loreti M, Massink M
TYPE      : Journal article
YEAR      : 2007
CODE      : 43996

*** DO NOT EDIT THIS FILE ***