Dana Petcu. Parallel Explicit State Reachability Analysis and State Space Construction. In 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia. pages 207-214, IEEE Computer Society, 2003. [doi]
Abstract is missing.