Finding Symbolic Bug Patterns in Sensor Networks.

Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Jiawei Han, Hossein Ahmadi

Browse the full DCOSS paper archive.