Partialorder reduction in symbolic state-space exploration (1997)

by R Alur, R K Brayton, T A Henzinger, S Qadeer, S K Rajamani
Venue:In Proc. of CAV 97: ComputerAided Verification, LNCS 1254