Login / Signup
S. O. Veretnov
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Concurrent Systems
Distributed Database Systems
Replicated Data
Fault Tolerant
Top Venues
Program. Comput. Softw.
</>
Publications
</>
Valery A. Nepomniaschy
,
Evgeny V. Bodin
,
S. O. Veretnov
The language dynamic-real and its application for verification of SDL-specified distributed systems.
Program. Comput. Softw.
41 (1) (2015)