@article{lin2013model,
author = {Lin, Haoxiang},
title = {Model Checking in Distributed Systems (in Chinese)},
year = {2013},
month = {February},
abstract = {Click the link for the paper.},
url = {http://approjects.co.za/?big=en-us/research/publication/model-checking-distributed-systems-in-chinese/},
pages = {46-51},
journal = {Communications of the China Computer Federation},
volume = {9},
number = {2},
}