Symmetry Reductions in Model Checking (1998)

by E M Clarke, E A Emerson, S Jha, A P Sistla
Venue:In Proceedings of the 10th International Conference on Computer Aided Verification (CAV’98). LNCS