Symmetry Reductions in Model Checking.

Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla

Browse the full CAV paper archive.