@book{MaximovaGieseKrause2017,
  author    = {Maria Maximova and Holger Giese and Christian Krause},
  title     = {Probabilistic timed graph transformation systems},
  number    = {118},
  isbn      = {978-3-86956-405-0},
  year      = {2017},
}