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