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