TITLE     : On the robustness of temporal properties for stochastic models
AUTHOR(S) : Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G
TYPE      : Conference article
YEAR      : 2013
CODE      : 277734

*** DO NOT EDIT THIS FILE ***