Title :
Parallel explicit state reachability analysis and state space construction
Author_Institution :
Institute e-Austria Timisoara
Keywords :
Clustering algorithms; Computer science; Hardware; Load management; Logic design; Reachability analysis; Space exploration; State-space methods; Testing; Workstations;
Conference_Titel :
Parallel and Distributed Computing, 2003. Proceedings. Second International Symposium on
Print_ISBN :
0-7695-2069-3
DOI :
10.1109/ISPDC.2003.1267665
