Algebraic quantitative semantics for efficient online temporal monitoring
scientific article; zbMATH DE number 7378311
scientific article