Efficient Model Checking for LTL with Partial Order Snapshots.

Peter Niebert, Doron A. Peled

Browse the full TACAS paper archive.