About this scholarly article

2014 Theoretical Aspects of Software Engineering Conference - Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking by Liu, Wanwei; Mao, Xiaoguang; Pu, Geguang; Wang, Rui is a scholarly article available to read on EtoBox.

Author

Liu, Wanwei; Mao, Xiaoguang; Pu, Geguang; Wang, Rui

Publisher

IEEE

Published

2014

Language

EN