|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Towards verification of probabilistic multi-party consensus protocolsстатья
- Авторы: Fedotov Ivan, Khritankov Anton, Barger Artem
- Сборник: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM)
- Год издания: 2022
- Место издания: ACM
- DOI: 10.1145/3520084.3520100
- Добавил в систему: Хританков Антон Сергеевич