Распределенные алгоритмы и их верификация с помощью Byzantine model checker. (2018). Вестник КазНУ. Серия математика, механика, информатика, 92(4), 70-79. https://bm.kaznu.kz/index.php/kaznu/article/view/455