Efficient partition of state space for parallel reachability analysis.

Mustapha Bourahla, Mohamed Benmohamed

Browse the full AICCSA paper archive.