Cartesian partial-order reduction (2007)

by G Gueta, C Flanagan, E Yahav, M Sagiv
Venue:In SPIN