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