Details for the publication GaoZLSZJZ21.

Song Gao, Bohua Zhan (), Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen (), Lijun Zhang: Formal Verification of Consensus in the Taurus Distributed Database. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 741-751, 2021. DOI BIB