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