Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao. Counterexample-Preserving Reduction for Symbolic Model Checking. J. Applied Mathematics, 2014, 2014. [doi]
@article{LiuWFWDM14,
title = {Counterexample-Preserving Reduction for Symbolic Model Checking},
author = {Wanwei Liu and Rui Wang and Xianjin Fu and Ji Wang and Wei Dong and Xiaoguang Mao},
year = {2014},
doi = {10.1155/2014/702165},
url = {http://dx.doi.org/10.1155/2014/702165},
researchr = {https://researchr.org/publication/LiuWFWDM14},
cites = {0},
citedby = {0},
journal = {J. Applied Mathematics},
volume = {2014},
}