Correctness and Fairness of Tendermint-core Blockchains.

Yackolley Amoussou-Guenou Antonella Del Pozzo Maria Potop-Butucaru Sara Tucci Piergiovanni

Published in: CoRR (2018)

Keyphrases

resource allocation
database
neural network
databases
natural language