Formal verification of a partial-order reduction technique for model checking (1999)

by C-T Chou, D Peled
Venue:Journal of Automated Reasoning