Combining Partial Order Reductions with On-The-Fly Model-Checking,” (1994)

by D Peled
Venue:Proc. Sixth Int’l Conf. Computer Aided Verification (CAV94),