Metric Temporal Graph Logic over Typed Attributed Graphs.

Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider

Browse the full FASE paper archive.