Combining symmetry reduction and under-approximation for symbolic model checking
scientific article; zbMATH DE number 5007759
scientific article