Просмотр «Распределенные алгоритмы и их верификация с помощью Byzantine model checker»

Вернуться к Подробностям о выпуске Распределенные алгоритмы и их верификация с помощью Byzantine model checker Скачать Скачать PDF