@article{FENG Ya-chao:124, author = {FENG Ya-chao, YANG Hong-li, WANG Fei, WU Wen-jia and QIN Sheng-chao}, title = {Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL}, publisher = {Computer Science}, year = {2016}, journal = {Computer Science}, volume = {43}, number = {9}, eid = {124}, numpages = {6}, pages = {124}, keywords = {Wireless sensor networks,Data gathering protocol,Timed automata,UPPAAL model,Modeling and analyzing}, url = {https://www.jsjkx.com/EN/abstract/article_15757.shtml}, doi = {10.11896/j.issn.1002-137X.2016.09.024} }