Model Checking in Distributed Systems (in Chinese)
Communications of the China Computer Federation | , Vol 9 (2): pp. 46-51
Click the link (opens in new tab) for the paper.
Research
Research
Communications of the China Computer Federation | , Vol 9 (2): pp. 46-51
Click the link (opens in new tab) for the paper.