Generalized Stuttering Equivalence.

Somesh Jha, Doron A. Peled

Browse the full PDPTA paper archive.