Compositional Analysis of Probabilistic Timed Graph Transformation Systems

Maria Maximova, Sven Schneider 0001, Holger Giese. Compositional Analysis of Probabilistic Timed Graph Transformation Systems. In Esther Guerra, Mariƫlle Stoelinga, editors, Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Volume 12649 of Lecture Notes in Computer Science, pages 196-217, Springer, 2021. [doi]

Authors

Maria Maximova

This author has not been identified. Look up 'Maria Maximova' in Google

Sven Schneider 0001

This author has not been identified. Look up 'Sven Schneider 0001' in Google

Holger Giese

This author has not been identified. It may be one of the following persons: Look up 'Holger Giese' in Google