Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions

Janardan Misra Suman Roy Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions http://arxiv.org/abs/0901.0179 2009 CoRR abs/0901.0179 db/journals/corr/corr0901.html#abs-0901-0179 informal publication