@book{GieseMaximovaSakizloglouetal.2019,
  author    = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider},
  title     = {Metric temporal graph logic over typed attributed graphs},
  series    = {extended version},
  number    = {127},
  isbn      = {978-3-86956-463-0},
  doi       = {10.25932/publishup-42752},
  year      = {2019},
}