Binh, Trinh, Truong Ninh Thuan, & Nguyen Viet Ha.
" Automated analysis of consensus protocol in specifcation  of multi-agents coordination." <em>VNU Journal of Science: Natural Sciences and Technology</em> [Online], 28.1 (2012): n. pag. Web. 31 May. 2024