Concepedia
Statistics
Publications
1
Citations
27
H-Index
Active since
2001
D Dmitri Chkliaev is an author specializing in computing, computer science, and distributed transactions.
Publications per year
2001–2001
Mechanical verification of concurrency control and recovery protocols
D Dmitri Chkliaev · Data Archiving and Networked Services (DANS) · 2001 · 27 citations · Full text
Computing, Computer Science, Computer Systems +17
1–1 of 1