Распределенные алгоритмы и их верификация с помощью Byzantine model checker. JMMCS [Интернет]. 18 июль 2018 г. [цитируется по 10 сентябрь 2026 г.];92(4):70-9. доступно на: https://bm.kaznu.kz/index.php/kaznu/article/view/455