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{GieseMSS2018,
author = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider},
title = {Metric Temporal Graph Logic over Typed Attributed Graphs},
year = {2018},
number = {123},
url = {http://hpi.de/forschung/wissenschaftliche-publikationen/technische-berichte.html},
institution = {Hasso Plattner Institute at the University of Potsdam},
}