[MGK17]
Maria Maximova, Holger Giese and Christian Krause.
Probabilistic Timed Graph Transformation Systems.
In Proc. International Conference on Graph Transformation (ICGT'17).
2017.
[Presents the Probabilistic Timed Graph Transformation Systems formalism, with a mapping to PRISM.]
|
