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

Cached

Download Links

by Doron Peled
Citations:195 - 14 self