Verification complexity of a class of observational properties for modular discrete events systems
scientific article; zbMATH DE number 6803937
scientific article