Model Checking Distributed Systems (in Chinese)

In  Communications of The CCF

Publisher  China Computer Federation

Details

TypeArticle
URLhttp://www.ccf.org.cn/sites/ccf/zlcontnry.jsp?contentId=2722092546477
Pages46-51
Volume9
Number2
> Publications > Model Checking Distributed Systems (in Chinese)