@inproceedings{DBLP:conf/post/BartolettiZ19,
  author       = {Massimo Bartoletti and
                  Roberto Zunino},
  editor       = {Flemming Nielson and
                  David Sands},
  title        = {Verifying Liquidity of Bitcoin Contracts},
  booktitle    = {Principles of Security and Trust - 8th International Conference, {POST}
                  2019, Held as Part of the European Joint Conferences on Theory and
                  Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
                  6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11426},
  pages        = {222--247},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17138-4\_10},
  doi          = {10.1007/978-3-030-17138-4\_10},
  timestamp    = {Fri, 31 Jan 2020 21:32:30 +0100},
  biburl       = {https://dblp.org/rec/conf/post/BartolettiZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2HtbLuHsFbGtDDRYF","bibbaseid":"bartoletti-zunino-verifyingliquidityofbitcoincontracts-2019","authorIDs":[],"author_short":["Bartoletti, M.","Zunino, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"editor":[{"firstnames":["Flemming"],"propositions":[],"lastnames":["Nielson"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"Verifying Liquidity of Bitcoin Contracts","booktitle":"Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11426","pages":"222–247","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-17138-4\\_10","doi":"10.1007/978-3-030-17138-4_10","timestamp":"Fri, 31 Jan 2020 21:32:30 +0100","biburl":"https://dblp.org/rec/conf/post/BartolettiZ19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/post/BartolettiZ19,\n author = {Massimo Bartoletti and\n Roberto Zunino},\n editor = {Flemming Nielson and\n David Sands},\n title = {Verifying Liquidity of Bitcoin Contracts},\n booktitle = {Principles of Security and Trust - 8th International Conference, {POST}\n 2019, Held as Part of the European Joint Conferences on Theory and\n Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April\n 6-11, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11426},\n pages = {222--247},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-17138-4\\_10},\n doi = {10.1007/978-3-030-17138-4\\_10},\n timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},\n biburl = {https://dblp.org/rec/conf/post/BartolettiZ19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Zunino, R."],"editor_short":["Nielson, F.","Sands, D."],"key":"DBLP:conf/post/BartolettiZ19","id":"DBLP:conf/post/BartolettiZ19","bibbaseid":"bartoletti-zunino-verifyingliquidityofbitcoincontracts-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-17138-4\\_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2019-05-01T07:25:23.397Z","downloads":0,"keywords":[],"search_terms":["verifying","liquidity","bitcoin","contracts","bartoletti","zunino"],"title":"Verifying Liquidity of Bitcoin Contracts","year":2019,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}