|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systemsстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Fedotov I.A., Khritankov A.S., Obidare M.D.
- Журнал: Программная инженерия
- Том: 13
- Номер: 4
- Год издания: 2022
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Первая страница: 200
- Последняя страница: 208
- DOI: 10.17587/prin.13.200-208
- Добавил в систему: Хританков Антон Сергеевич