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, Proceedings (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, 2021.
Bibtex Entry:
@inproceedings{DBLP:conf/fase/Maximova0G21,
author = {Maria Maximova and
Sven Schneider and
Holger Giese},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {Compositional Analysis of Probabilistic Timed Graph Transformation
Systems},
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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {196--217},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_10},
doi = {10.1007/978-3-030-71500-7\_10},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/Maximova0G21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}