Model Checking In Distributed Systems(in Chinese)
Haoxiang Lin
February 2013
In Communications of The CCF
Publisher China Computer Federation
Details
| Type | Article |
| URL | http://www.ccf.org.cn/sites/ccf/zlcontnry.jsp?contentId=2722092546477 |
| Pages | 46-51 |
| Volume | 9 |
| Number | 2 |
Related People
Share
