Partial-Order Reduction in Symbolic State Space Exploration (1997)

by R. Alur , R. K. Brayton , T. A. Henzinger , S. Qadeer , S. K. Rajamani
Citations:59 - 0 self