Probabilistic Model Checking of Pipe protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kangli He, Min Zhang 0007, Jia He, Yixiang Chen. Probabilistic Model Checking of Pipe protocol. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 135-138, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Kangli He' in GoogleThis author has not been identified. Look up 'Min Zhang 0007' in GoogleThis author has not been identified. Look up 'Jia He' in GoogleThis author has not been identified. Look up 'Yixiang Chen' in Google

runs on WebDSL