Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
scientific article; zbMATH DE number 6819728
scientific article