|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Settingстатья
- Авторы: Kukharenko Vladimir, Ziborov Kirill, Sadykov Rafael, Rezin Ruslan
- Журнал: SHS Web of Conferences
- Том: 93
- Год издания: 2021
- Первая страница: 01006
- Последняя страница: 01006
- DOI: 10.1051/shsconf/20219301006
- Добавил в систему: Зиборов Кирилл Викторович