Utilizing symmetry when model-checking under fairness assumptions (1997)

by E A Emerson, A P Sistla
Venue:ACM Trans. Program. Lang. Syst