70533286

a

70533286 Bhatti, Sania Xu, Jie Memon, Mohsin Model checking of a target tracking protocol for wireless sensor networks CIT, 2867-2872 (2010). 2010 EN

http://doi.ieeecomputersociety.org/10.1109/CIT.2010.479