TITLE     : MoSL: A Stochastic Logic for StoKLAIM
AUTHOR(S) : De Nicola R, Katoen J, Latella D, Loreti M, Massink M
TYPE      : Other
YEAR      : 2006
CODE      : 160329

*** DO NOT EDIT THIS FILE ***