[1]
T. Heindel, V. Danos, R. Honorato-Zimmer, and S. Stucki, “Mean Quantitative Coverability in Stochastic Graph Transformation Systems”,
ECEASST
, vol. 68, Oct. 2014.