%0 Journal Article %1 journals/mis/ZhangHQGL17 %A Zhang, Long %A Hu, Wenyan %A Qu, WanXia %A Guo, Yang %A Li, Sikun %D 2017 %J Mob. Inf. Syst. %K dblp %P 5731678:1-5731678:10 %T A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/mis/mis2017.html#ZhangHQGL17 %V 2017

@article{journals/mis/ZhangHQGL17, added-at = {2020-10-01T00:00:00.000+0200}, author = {Zhang, Long and Hu, Wenyan and Qu, WanXia and Guo, Yang and Li, Sikun}, biburl = {https://www.bibsonomy.org/bibtex/260953071e1eef9146edad59867139eaf/dblp}, ee = {https://www.wikidata.org/entity/Q59147287}, interhash = {d585f9908b92a53c707bcde25d6e1fbc}, intrahash = {60953071e1eef9146edad59867139eaf}, journal = {Mob. Inf. Syst.}, keywords = {dblp}, pages = {5731678:1-5731678:10}, timestamp = {2020-10-02T11:46:35.000+0200}, title = {A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/mis/mis2017.html#ZhangHQGL17}, volume = 2017, year = 2017 }