Model Checking Distributed Systems (in Chinese)

Haoxiang Lin

Details

Publication typeArticle
Published inCommunications of The CCF
URLhttp://www.ccf.org.cn/sites/ccf/zlcontnry.jsp?contentId=2722092546477
Pages46-51
Volume9
Number2
PublisherChina Computer Federation
> Publications > Model Checking Distributed Systems (in Chinese)