Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wanwei Liu' in GoogleThis author has not been identified. Look up 'Xiaoguang Mao' in GoogleThis author has not been identified. Look up 'Geguang Pu' in GoogleThis author has not been identified. Look up 'Rui Wang' in Google

runs on WebDSL