Model Checking in Distributed Systems (in Chinese)

Communications of the China Computer Federation | , Vol 9(2): pp. 46-51