Parallel Explicit State Reachability Analysis and State Space Construction.

Dana Petcu

Browse the full ISPDC paper archive.