Finding Symbolic Bug Patterns in Sensor Networks

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.