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]
Abstract is missing.