|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systemsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 15 мая 2024 г.
- Авторы: Fedotov I.A., Khritankov A.S., Obidare M.D.
- Журнал: Programming and Computer Software
- Том: 49
- Номер: 5
- Год издания: 2023
- Издательство: Pleiades Publishing, Ltd
- Местоположение издательства: Road Town, United Kingdom
- Первая страница: 448
- Последняя страница: 454
- DOI: 10.1134/S0361768823050043
- Добавил в систему: Хританков Антон Сергеевич