Publication

[GaoZLSZJZ21] Formal Verification of Consensus in the Taurus Distributed Database Gao, S.; Zhan, B.; Liu, D.; Sun, X.; Zhi, Y.; Jansen, D. N. and Zhang, L. In FM, pages 741-751, Springer, Lecture Notes in Computer Science 13047, 2021.
Downloads: bib