On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa

Browse the full FMICS paper archive.