Honorato-Zimmer, Ricardo
-
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) - Articles
Mean Quantitative Coverability in Stochastic Graph Transformation Systems
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.