T-check: bug finding for sensor networks

Peng Li, John Regehr. T-check: bug finding for sensor networks. 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 174-185, ACM, 2010. [doi]

Abstract

Abstract is missing.