[KG12]
Christian Krause and Holger Giese.
Probabilistic Graph Transformation Systems.
In Proc. 6th International Conference on Graph Transformations (ICGT'12), pages 311-325.
2012.
[Proposes techniques to analyse probabilistic graph transformation systems, using the tools HENSHIN and PRISM.]
|
