A SAT-Based Analysis of a Calculus for Wireless Sensor Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xi Wu 0001, Hanne Riis Nielson, Huibiao Zhu. A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 23-30, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Xi Wu 0001' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in Google

runs on WebDSL