@inproceedings{ICFEM.2008.318-337,
 author = {Jin Song Dong and Jing Sun and Jun Sun and Kenji Taguchi and Xian Zhang},
 title = {{Specifying and Verifying Sensor Networks: an Experiment of Formal Methods}},
 booktitle = {ICFEM '08: Proceedings of the 10th International Conference on Formal Engineering Methods},
 pages = {318-337},
 month = {October},
 year = {2008},
 location = {Kitakyushu-City, Japan},
 publisher = {Springer-Verlag}
}