Doina Bucur, Marta Z. Kwiatkowska. Software verification for TinyOS. In Tarek F. Abdelzaher, Thiemo Voigt, Adam Wolisz, editors, Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden. pages 400-401, ACM, 2010. [doi]
@inproceedings{BucurK10,
title = {Software verification for TinyOS},
author = {Doina Bucur and Marta Z. Kwiatkowska},
year = {2010},
doi = {10.1145/1791212.1791274},
url = {http://doi.acm.org/10.1145/1791212.1791274},
researchr = {https://researchr.org/publication/BucurK10},
cites = {0},
citedby = {0},
pages = {400-401},
booktitle = {Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden},
editor = {Tarek F. Abdelzaher and Thiemo Voigt and Adam Wolisz},
publisher = {ACM},
isbn = {978-1-60558-988-6},
}