Improving Encoding Efficiency for Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jinji Yang, Kaile Su, Qingliang Chen. Improving Encoding Efficiency for Bounded Model Checking. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 31-38, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Jinji Yang' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Qingliang Chen' in Google

runs on WebDSL