Verlag Universitätsverlag PotsdamSven Schneider × Metric Temporal Graph Logic over Typed Attributed GraphsExtended VersionSven SchneiderUniversitätsverlag PotsdamSoftcover2019 Metric Temporal Graph Logic over Typed Attributed Graphs Sven SchneiderUniversitätsverlag PotsdamSoftcover2018