TITLE     : SENSORIA - D4.2a - Stochastic logics
AUTHOR(S) : De Nicola R, Katoen J P, Latella D, Loreti M, Massink M
TYPE      : Other
YEAR      : 2007
CODE      : 160802

*** DO NOT EDIT THIS FILE ***