Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo. Modeling and Verifying HDFS Using CSP. In 40th IEEE Annual Computer Software and Applications Conference, COMPSAC 2016, Atlanta, GA, USA, June 10-14, 2016. pages 221-226, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.