Refining dependencies improves partial-order verification methods (1992)

by P Godefroid, D Pirottin
Venue:In Proc. of the 5th Conference on Computer-Aided Verification, volume 697 of LNCS