DMCA

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (1995)

Cached

Download Links

by Patrice Godefroid
Citations:361 - 11 self