|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
2022 The 5th International Conference on Software Engineering and Information Management (ICSIM)сборник
- Год издания: 2022
- Место издания: ACM
- Добавил в систему: Хританков Антон Сергеевич
Статьи, опубликованные в сборнике
-
- 2022 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), место издания ACM DOI