|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Деятельность
-
Статьи в журналах
-
- 2022 Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
- Fedotov I.A., Khritankov A.S., Obidare M.D.
- в журнале Программная инженерия, издательство Новые технологии (Москва), том 13, № 4, с. 200-208 DOI
-