BINH, Trinh Thanh; 						THUAN, Truong Ninh; 						HA, Nguyen Viet.
 Automated analysis of consensus protocol in specifcation  of multi-agents coordination.
<strong>VNU Journal of Science: Natural Sciences and Technology</strong>, [S.l.], v. 28, n. 1, mar. 2012.
ISSN 2588-1140.
Available at: &lt;<a href="https://js.vnu.edu.vn/NST/article/view/1166" target="_new">https://js.vnu.edu.vn/NST/article/view/1166</a>&gt;. Date accessed: 20 may 2024.