Combining Parallel Emptiness Checks with Partial Order Reductions.

Denis Poitrenaud, Etienne Renault

Browse the full ICFEM paper archive.