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

by C-T Chou, D Peled
Venue:Proc. 2nd TACAS, volume 1055 of Lecture Notes in Computer Science