%0 Journal Article %1 journals/sttt/FuZ19 %A Fu, Chunyan %A Zheng, Kougen %D 2019 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 165-181 %T Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. %U http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#FuZ19 %V 21

@article{journals/sttt/FuZ19, added-at = {2020-04-02T00:00:00.000+0200}, author = {Fu, Chunyan and Zheng, Kougen}, biburl = {https://www.bibsonomy.org/bibtex/227eace86896cac7cffe5ab5ac0026f9f/dblp}, ee = {https://doi.org/10.1007/s10009-017-0463-4}, interhash = {6c33c9db34d3bfa8622388c3b195f1da}, intrahash = {27eace86896cac7cffe5ab5ac0026f9f}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {165-181}, timestamp = {2020-04-03T11:54:56.000+0200}, title = {Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#FuZ19}, volume = 21, year = 2019 }