Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Jiawei Han, Hossein Ahmadi. Finding Symbolic Bug Patterns in Sensor Networks. In Bhaskar Krishnamachari, Subhash Suri, Wendi Rabiner Heinzelman, Urbashi Mitra, editors, Distributed Computing in Sensor Systems, 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings. Volume 5516 of Lecture Notes in Computer Science, pages 131-144, Springer, 2009. [doi]
Abstract is missing.