Symmetry reductions in model-checking (1998)

by E M Clarke, E Emerson, S Jha, A Sistla
Venue:Lecture Notes in Computer Science