Combining Partial Order Reductions with On-the-fly Model-checking (1994)

Cached

Download Links

by Doron Peled
Citations:191 - 14 self