Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы, v. 92, n. 4, p. 70–79, 18 Jul.2018.