Combining Partial Order and Symmetry Reductions.

E. Allen Emerson, Somesh Jha, Doron A. Peled

Browse the full TACAS paper archive.