Algorithms for monitoring real-time properties
scientific article; zbMATH DE number 6894820
scientific article