by Maria Maximova, Holger Giese, Christian Krause
Reference:
Probabilistic Timed Graph Transformation Systems (Maria Maximova, Holger Giese, Christian Krause), In Journal of Logical and Algebraic Methods in Programming, volume 101, 2018.
Bibtex Entry:
@article{MAXIMOVA2018110,
author = {Maria Maximova and Holger Giese and Christian Krause},
title = {Probabilistic Timed Graph Transformation Systems},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {101},
pages = {110 - 131},
year = {2018},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2018.09.003},
url = {http://www.sciencedirect.com/science/article/pii/S2352220817302365}
}