Computation of minimal diagnosis bases of discrete-event systems using verifiers
scientific article; zbMATH DE number 6685174
scientific article