TY  - RPRT
TI  - Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
AU  - Janardan Misra
AU  - Suman Roy
PY  - 2009
UR  - https://arxiv.org/abs/0901.0179
ID  - 0901.0179
ER  -