Binh, T., 		Thuan, T., & 		Ha, N.
(2012).
 Automated analysis of consensus protocol in specifcation  of multi-agents coordination.
<em>VNU Journal Of Science: Natural Sciences And Technology, 28</em>(1).
Retrieved from <a href="https://js.vnu.edu.vn/NST/article/view/1166" target="_new">https://js.vnu.edu.vn/NST/article/view/1166</a>