Symbolic Model Checking APSL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma. Symbolic Model Checking APSL. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 39-46, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Wanwei Liu' in GoogleThis author has not been identified. Look up 'Ji Wang' in GoogleThis author has not been identified. Look up 'Huowang Chen' in GoogleThis author has not been identified. Look up 'Xiaodong Ma' in Google

runs on WebDSL