Using partial orders to improve automatic verification methods (1992)

by P Godefroid
Venue:In Proc. of Computer Aided Verification (CAV 1992), volume 663 of LNCS