A Formal Approach for Modeling and Verification of Distributed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gang Ren' in GoogleThis author has not been identified. Look up 'Pan Deng' in GoogleThis author has not been identified. Look up 'Chao Yang' in GoogleThis author has not been identified. Look up 'Jianwei Zhang' in GoogleThis author has not been identified. Look up 'Qingsong Hua' in Google

runs on WebDSL