@book{GieseMaximovaSakizloglouetal.2018,
  author    = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider},
  title     = {Metric temporal graph logic over typed attributed graphs},
  number    = {123},
  isbn      = {978-3-86956-433-3},
  year      = {2018},
}