[IEEE 2010 IEEE 10th International Conference on Computer and Information Technology (CIT) - Bradford, United Kingdom (2010.06.29-2010.07.1)] 2010 10th IEEE International Conference on Computer and Information Technology - Model Checking of a Target Tracking Protocol for Wireless Sensor Networks
Bhatti, Sania, Xu, Jie, Memon, MohsinYear:
2010
Language:
english
DOI:
10.1109/cit.2010.479
File:
PDF, 563 KB
english, 2010