Zum Hauptinhalt springen
Time comparison semantics: Measurement specification | PureIntent