@book{MaximovaSchneiderGiese2020,
  author    = {Maria Maximova and Sven Schneider and Holger Giese},
  title     = {Compositional analysis of probabilistic timed graph transformation systems},
  number    = {133},
  isbn      = {978-3-86956-501-9},
  doi       = {10.25932/publishup-49013},
  year      = {2020},
}