Heindel, T.; Danos, V.; Honorato-Zimmer, R.; Stucki, S. Mean Quantitative Coverability in Stochastic Graph Transformation Systems. eceasst 2014, 68.