TY  - RPRT
TI  - A Framework to Synergize Partial Order Reduction with State Interpolation
AU  - Duc-Hiep Chu
AU  - Joxan Jaffar
PY  - 2014
UR  - https://arxiv.org/abs/1408.0957
ID  - 1408.0957
ER  -