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]
@inproceedings{WuNZ15,
title = {A SAT-Based Analysis of a Calculus for Wireless Sensor Networks},
author = {Xi Wu 0001 and Hanne Riis Nielson and Huibiao Zhu},
year = {2015},
doi = {10.1109/TASE.2015.23},
url = {http://dx.doi.org/10.1109/TASE.2015.23},
researchr = {https://researchr.org/publication/WuNZ15},
cites = {0},
citedby = {0},
pages = {23-30},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-7612-9},
}