BEKTEMESSOV, A. T.; BURLIBAEV, A. Z.; ILIYALETDINOV, F. A. Distributed algorithms and their verification with Byzantine model checker. Journal of Mathematics, Mechanics and Computer Science, [S. l.], v. 92, n. 4, p. 70–79, 2018. Disponível em: https://bm.kaznu.kz/index.php/kaznu/article/view/455. Acesso em: 22 jul. 2024.