Partial-order reduction in symbolic state space exploration,” in CAV, (1997)

by R Alur, R K Brayton, T A Henzinger, S Qadeer, S K Rajamani