Partial-Order Model Checking: A Guide for the Perplexed.

David K. Probst, Hon Fung Li

Browse the full CAV paper archive.