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

Cached

Download Links

by Doron Peled
Venue:In Proc. of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Citations:20 - 1 self