Login / Signup

Formal Verification of Consensus in the Taurus Distributed Database.

Song GaoBohua ZhanDepeng LiuXuechao SunYanan ZhiDavid N. JansenLijun Zhang
Published in: FM (2021)
Keyphrases