TY  - RPRT
TI  - Counterexample-Preserving Reduction for Symbolic Model Checking
AU  - Wanwei Liu
AU  - Rui Wang
AU  - Xianjin Fu
AU  - Ji Wang
AU  - Wei Dong
AU  - Xiaoguang Mao
PY  - 2013
UR  - https://arxiv.org/abs/1301.3299
ID  - 1301.3299
ER  -