|
[MSG21]
Maria Maximova, Sven Schneider and Holger Giese.
Interval Probabilistic Timed Graph Transformation Systems.
In Proc. 14th International Conference on Graph Transformation (ICGT'21).
2021.
[Presents the the formalism of Interval Probabilistic Timed Graph Transformation Systems, including connections to PRISM.
]
|
|
Links:
[Google]
[Google Scholar]
|