Binh, Trinh, 		Thuan, Truong, AND 		Ha, Nguyen.
" Automated analysis of consensus protocol in specifcation  of multi-agents coordination" <em>VNU Journal of Science: Natural Sciences and Technology</em> [Online], Volume 28 Number 1 (15 March 2012)