TY  - RPRT
TI  - An Alloy Verification Model for Consensus-Based Auction Protocols
AU  - Saber Mirzaei
AU  - Flavio Esposito
PY  - 2015
DO  - 10.1109/icdcsw.2015.15
UR  - https://arxiv.org/abs/1407.5074
ID  - 1407.5074
ER  -