@article{DBLP:journals/fbloc/BartolettiZ19,
  author       = {Massimo Bartoletti and
                  Roberto Zunino},
  title        = {Formal Models of Bitcoin Contracts: {A} Survey},
  journal      = {Frontiers Blockchain},
  volume       = {2},
  pages        = {8},
  year         = {2019},
  url          = {https://doi.org/10.3389/fbloc.2019.00008},
  doi          = {10.3389/fbloc.2019.00008},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fbloc/BartolettiZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mQR5hwKKf6v29uY3f","bibbaseid":"bartoletti-zunino-formalmodelsofbitcoincontractsasurvey-2019","authorIDs":[],"author_short":["Bartoletti, M.","Zunino, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"Formal Models of Bitcoin Contracts: A Survey","journal":"Frontiers Blockchain","volume":"2","pages":"8","year":"2019","url":"https://doi.org/10.3389/fbloc.2019.00008","doi":"10.3389/fbloc.2019.00008","timestamp":"Wed, 20 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fbloc/BartolettiZ19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fbloc/BartolettiZ19,\n author = {Massimo Bartoletti and\n Roberto Zunino},\n title = {Formal Models of Bitcoin Contracts: {A} Survey},\n journal = {Frontiers Blockchain},\n volume = {2},\n pages = {8},\n year = {2019},\n url = {https://doi.org/10.3389/fbloc.2019.00008},\n doi = {10.3389/fbloc.2019.00008},\n timestamp = {Wed, 20 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fbloc/BartolettiZ19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Zunino, R."],"key":"DBLP:journals/fbloc/BartolettiZ19","id":"DBLP:journals/fbloc/BartolettiZ19","bibbaseid":"bartoletti-zunino-formalmodelsofbitcoincontractsasurvey-2019","role":"author","urls":{"Paper":"https://doi.org/10.3389/fbloc.2019.00008"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2021-01-14T18:29:36.071Z","downloads":0,"keywords":[],"search_terms":["formal","models","bitcoin","contracts","survey","bartoletti","zunino"],"title":"Formal Models of Bitcoin Contracts: A Survey","year":2019,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}