Refining dependencies improves partial-order verification methods (extended abstract (1993)

by P Godefroid, D Pirottin
Venue:CAV