@techreport{2019_metric_temporal_graph_logic_over_typed_attributed_graphs__technical_report,
    author      = {Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider},
    title       = {Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version},
    number      = {127},
    isbn        = {978-3-86956-463-0},
    doi         = {10.25932/publishup-42752},
    urn         = {https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-427522},
    year        = {2019},
    address     = {Potsdam, Germany},
    institution = {Hasso Plattner Institute at the University of Potsdam}
}