Compositional Analysis of Probabilistic Timed Graph Transformation Systems

Maximova, Maria; Schneider, Sven; Giese, Holger

by Maria Maximova, Sven Schneider, Holger Giese

Reference:

Compositional Analysis of Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), In 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, (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, 2021.

Bibtex Entry:

@InProceedings{DBLP:conffaseMaximova0G21,
AUTHOR = {Maximova, Maria and Schneider, Sven and Giese, Holger},
TITLE = {{Compositional Analysis of Probabilistic Timed Graph Transformation Systems}},
YEAR = {2021},
BOOKTITLE = {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, },
VOLUME = {12649},
PAGES = {196--217},
EDITOR = {Guerra, Esther and Stoelinga, Mariëlle},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
URL = {https://doi.org/10.1007/978-3-030-71500-7_10},
PDF = {uploads/pdf/DBLP:conffaseMaximova0G21_easychair_generated.pdf},
OPTacc_pdf = {},
ANNOTE = {TIMESTAMP : Fri, 14 May 2021 08:34:15 +0200}
}