Approximations of state spaces reduced by partial order reduction.

Pavel Moravec

Browse the full SOFSEM paper archive.