All from One, One for All: on Model Checking Using Representatives.

Doron A. Peled

Browse the full CAV paper archive.