TY  - RPRT
TI  - Hardened Paxos Through Consistency Validation
AU  - Rodrigo R. Barbieri
AU  - Gustavo M. D. Vieira
PY  - 2017
DO  - 10.1109/sbesc.2015.10
UR  - https://arxiv.org/abs/1710.07543
ID  - 1710.07543
ER  -