by Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
Reference:
Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), Technical report 123, Hasso Plattner Institute at the University of Potsdam, 2018.
Bibtex Entry:
@techreport{2018_metric_temporal_graph_logic_over_typed_attributed_graphs__technical_report,
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},
address = {Potsdam, Germany},
institution = {Hasso Plattner Institute at the University of Potsdam},
urn = {https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-411351},
}