[MGK18]
Maria Maximova, Holger Giese and Christian Krause.
Probabilistic timed graph transformation systems.
Journal of Logical and Algebraic Methods in Programming.
2018.
[Presents the Probabilistic Timed Graph Transformation Systems formalism, with a mapping to PRISM.
]
|
