Binh, T., 		Thuan, T., & 		Ha, N.
2012 Mar 15.  Automated analysis of consensus protocol in specifcation  of multi-agents coordination. VNU Journal of Science: Natural Sciences and Technology. [Online] 28:1