Heindel, T., Danos, V., Honorato-Zimmer, R., & Stucki, S. (2014). Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electronic Communications of the EASST, 68. https://doi.org/10.14279/tuj.eceasst.68.958