Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы, [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: 13 jul. 2026.