|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Statistical Model Checking of Common Attack Scenarios on Blockchainстатья
- Авторы: Fedotov Ivan, Khritankov Anton
- Журнал: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
- Том: 342
- Год издания: 2021
- Первая страница: 65
- Последняя страница: 77
- DOI: 10.4204/eptcs.342.6
- Добавил в систему: Хританков Антон Сергеевич