Mean Quantitative Coverability in Stochastic Graph Transformation Systems

Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki. Mean Quantitative Coverability in Stochastic Graph Transformation Systems. ECEASST, 68, 2014. [doi]

Abstract

Abstract is missing.