TY  - RPRT
TI  - Parallel symbolic state-space exploration is difficult, but what is the alternative?
AU  - Gianfranco Ciardo
AU  - Yang Zhao
AU  - Xiaoqing Jin
PY  - 2009
DO  - 10.4204/eptcs.14.1
UR  - https://arxiv.org/abs/0912.2785
ID  - 0912.2785
ER  -