An Alloy Verification Model for Consensus-Based Auction Protocols. Mirzaei, S. and Esposito, F. In IEEE 35th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2015, Columbus, OH, USA, June 29 - July 2, 2015, pages 17–22, 2015.
An Alloy Verification Model for Consensus-Based Auction Protocols [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/icdcsw/MirzaeiE15,
  author    = {Saber Mirzaei and
               Flavio Esposito},
  title     = {An Alloy Verification Model for Consensus-Based Auction Protocols},
  booktitle = {{IEEE} 35th International Conference on Distributed Computing Systems
               Workshops, {ICDCS} Workshops 2015, Columbus, OH, USA, June 29 - July
               2, 2015},
  pages     = {17--22},
  year      = {2015},
  crossref  = {DBLP:conf/icdcsw/2015},
  url       = {https://doi.org/10.1109/ICDCSW.2015.15},
  doi       = {10.1109/ICDCSW.2015.15},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/icdcsw/MirzaeiE15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0