Compositional Analysis of Probabilistic Timed Graph Transformation Systems.

Maria Maximova, Sven Schneider, Holger Giese

Browse the full FASE paper archive.