"Kaizen: Building a Performant Blockchain System Verified for Consensus and ..."

Faria Kalim et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics