Sign in
A. S. Khritankov
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Automated Verification
Multi Party
Privacy Preserving
Email
Top Venues
Program. Comput. Softw.
</>
Publications
</>
I. A. Fedotov
,
A. S. Khritankov
,
M. D. Obidare
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems.
Program. Comput. Softw.
49 (5) (2023)