Partial order reduction of the state space (1995)

by G Holzmann, D Peled
Venue:In Proc. of SPIN95