Old Web
English
Sign In
Acemap
>
authorDetail
>
Yanan Zhi
Yanan Zhi
Huawei
Concurrency control
Correctness
Formal methods
Model checking
Consensus
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of Consensus in the Taurus Distributed Database
2021
FM | Formal Methods
Song Gao
Bohua Zhan
Depeng Liu
Xuechao Sun
Yanan Zhi
David N. Jansen
Lijun Zhang
Show All
Source
Cite
Save
Citations (0)
1