“Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау” (2018) ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы, 92(4), pp. 70–79. Available at: https://bm.kaznu.kz/index.php/kaznu/article/view/455 (Accessed: 13 July 2026).