Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang. Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 82-89, IEEE, 2014. [doi]
@inproceedings{LiuMPW14,
title = {Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking},
author = {Wanwei Liu and Xiaoguang Mao and Geguang Pu and Rui Wang},
year = {2014},
doi = {10.1109/TASE.2014.13},
url = {http://dx.doi.org/10.1109/TASE.2014.13},
researchr = {https://researchr.org/publication/LiuMPW14},
cites = {0},
citedby = {0},
pages = {82-89},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014},
publisher = {IEEE},
isbn = {978-1-4799-5029-4},
}