@article{MaximovaGieseKrause2018,
  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},
  doi       = {10.1016/j.jlamp.2018.09.003},
  year      = {2018},
}