@book{SchneiderMaximovaGiese2021,
  author    = {Sven Schneider and Maria Maximova and Holger Giese},
  title     = {Probabilistic metric temporal graph logic},
  number    = {140},
  isbn      = {978-3-86956-517-0},
  doi       = {10.25932/publishup-51506},
  year      = {2021},
}