@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    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/MirzaeiE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ZKCL4QRBoAo9pihBz","bibbaseid":"mirzaei-esposito-analloyverificationmodelforconsensusbasedauctionprotocols-2015","author_short":["Mirzaei, S.","Esposito, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Saber"],"propositions":[],"lastnames":["Mirzaei"],"suffixes":[]},{"firstnames":["Flavio"],"propositions":[],"lastnames":["Esposito"],"suffixes":[]}],"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":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icdcsw/MirzaeiE15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icdcsw/MirzaeiE15,\n author = {Saber Mirzaei and\n Flavio Esposito},\n title = {An Alloy Verification Model for Consensus-Based Auction Protocols},\n booktitle = {{IEEE} 35th International Conference on Distributed Computing Systems\n Workshops, {ICDCS} Workshops 2015, Columbus, OH, USA, June 29 - July\n 2, 2015},\n pages = {17--22},\n year = {2015},\n crossref = {DBLP:conf/icdcsw/2015},\n url = {https://doi.org/10.1109/ICDCSW.2015.15},\n doi = {10.1109/ICDCSW.2015.15},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icdcsw/MirzaeiE15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mirzaei, S.","Esposito, F."],"key":"DBLP:conf/icdcsw/MirzaeiE15","id":"DBLP:conf/icdcsw/MirzaeiE15","bibbaseid":"mirzaei-esposito-analloyverificationmodelforconsensusbasedauctionprotocols-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICDCSW.2015.15"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/e/Esposito:Flavio","dataSources":["3EM6WRygW8mnP8ReQ"],"keywords":[],"search_terms":["alloy","verification","model","consensus","based","auction","protocols","mirzaei","esposito"],"title":"An Alloy Verification Model for Consensus-Based Auction Protocols","year":2015}