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

by C T Chou, D Peled
Venue:Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes in Computer Science