Items where Author / Artist / Editor is "Gu, Jiayi"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Gu, Jiayi, Zhou, Yu, Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China. ISBN 9783319270500. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-27051-7_17)
