Iliyaletdinov, F. A., Казахский национальный университет имени аль-Фараби, Республика Казахстан, г. Алматы, Kazakhstan
-
Қазұу Хабаршысы. Математика, механика, информатика сериясы Том 92 № 4 (2016): Journal of Mathematics, Mechanics and Computer Science - Компьютерлік ғылым
Распределенные алгоритмы и их верификация с помощью Byzantine model checker
Аннотация PDF