Symmetry reductions in model checking (1998)

by E M Clarke, E A Emerson, S Jha, A P Sistla
Venue:In Computer Aided Verification