Modeling and Verifying MooseFS in CSP

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00043 ◽

2018 ◽

Author(s):

Yucheng Fang ◽

Huibiao Zhu ◽

Gang Lu ◽

Lili Xiao ◽

Wanling Xie

Download Full-text