Model Checking in Distributed Systems (in Chinese)

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

下载 BibTex

Click the link (opens in new tab) for the paper.