@book{SchneiderMaximovaGiese2022,
  author    = {Sven Schneider and Maria Maximova and Holger Giese},
  title     = {Probabilistic metric temporal graph logic},
  number    = {146},
  isbn      = {978-3-86956-532-3},
  doi       = {10.25932/publishup-54586},
  year      = {2022},
}