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]

@inproceedings{KhanAHA09,
  title = {Finding Symbolic Bug Patterns in Sensor Networks},
  author = {Mohammad Maifi Hasan Khan and Tarek F. Abdelzaher and Jiawei Han and Hossein Ahmadi},
  year = {2009},
  doi = {10.1007/978-3-642-02085-8_10},
  url = {http://dx.doi.org/10.1007/978-3-642-02085-8_10},
  researchr = {https://researchr.org/publication/KhanAHA09},
  cites = {0},
  citedby = {0},
  pages = {131-144},
  booktitle = {Distributed Computing in Sensor Systems, 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings},
  editor = {Bhaskar Krishnamachari and Subhash Suri and Wendi Rabiner Heinzelman and Urbashi Mitra},
  volume = {5516},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02084-1},
}