Gang Ren, Pan Deng, Chao Yang, Jianwei Zhang, Qingsong Hua. A Formal Approach for Modeling and Verification of Distributed Systems. In Yin Zhang, Limei Peng, Chan-Hyun Youn, editors, Cloud Computing - 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings. Volume 167 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 317-322, Springer, 2015. [doi]
@inproceedings{RenDYZH15,
title = {A Formal Approach for Modeling and Verification of Distributed Systems},
author = {Gang Ren and Pan Deng and Chao Yang and Jianwei Zhang and Qingsong Hua},
year = {2015},
doi = {10.1007/978-3-319-38904-2_33},
url = {http://dx.doi.org/10.1007/978-3-319-38904-2_33},
researchr = {https://researchr.org/publication/RenDYZH15},
cites = {0},
citedby = {0},
pages = {317-322},
booktitle = {Cloud Computing - 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings},
editor = {Yin Zhang and Limei Peng and Chan-Hyun Youn},
volume = {167},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-319-38903-5},
}