Partial Order Reduction: Model-Checking Using Representatives.

Doron A. Peled

Browse the full MFCS paper archive.