Editorial for special issue on symmetry in automatic verification E. Allen Emerson EditorialNotes Pages: 5 - 6
Exploiting symmetry in temporal logic model checking E. M. ClarkeR. EndersS. Jha OriginalPaper Pages: 77 - 104