Ehab Al-Shaer, Qi Duan, Saeed Al-Haj, Moustafa Youssef. SensorChecker: reachability verification in mission-oriented sensor networks. In Thomas F. La Porta, Habib M. Ammari, editors, Proceedings of the 2nd ACM annual international workshop on Mission-oriented wireless sensor networking, MiSeNet@MobiCom 2013, Miami, Florida, USA, October 4, 2013. pages 51-56, ACM, 2013. [doi]
Abstract is missing.