Verification of recursive Bitcoin contracts. Bartoletti, M., Lande, S., Murgia, M., & Zunino, R. CoRR, 2020. Paper bibtex @article{DBLP:journals/corr/abs-2011-14165,
author = {Massimo Bartoletti and
Stefano Lande and
Maurizio Murgia and
Roberto Zunino},
title = {Verification of recursive Bitcoin contracts},
journal = {CoRR},
volume = {abs/2011.14165},
year = {2020},
url = {https://arxiv.org/abs/2011.14165},
eprinttype = {arXiv},
eprint = {2011.14165},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14165.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"XFxYE98scYttfjiog","bibbaseid":"bartoletti-lande-murgia-zunino-verificationofrecursivebitcoincontracts-2020","authorIDs":[],"author_short":["Bartoletti, M.","Lande, S.","Murgia, M.","Zunino, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Lande"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Murgia"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"Verification of recursive Bitcoin contracts","journal":"CoRR","volume":"abs/2011.14165","year":"2020","url":"https://arxiv.org/abs/2011.14165","eprinttype":"arXiv","eprint":"2011.14165","timestamp":"Tue, 08 Feb 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2011-14165.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2011-14165,\n author = {Massimo Bartoletti and\n Stefano Lande and\n Maurizio Murgia and\n Roberto Zunino},\n title = {Verification of recursive Bitcoin contracts},\n journal = {CoRR},\n volume = {abs/2011.14165},\n year = {2020},\n url = {https://arxiv.org/abs/2011.14165},\n eprinttype = {arXiv},\n eprint = {2011.14165},\n timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2011-14165.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Lande, S.","Murgia, M.","Zunino, R."],"key":"DBLP:journals/corr/abs-2011-14165","id":"DBLP:journals/corr/abs-2011-14165","bibbaseid":"bartoletti-lande-murgia-zunino-verificationofrecursivebitcoincontracts-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2011.14165"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","creationDate":"2021-01-14T18:29:35.982Z","downloads":0,"keywords":[],"search_terms":["verification","recursive","bitcoin","contracts","bartoletti","lande","murgia","zunino"],"title":"Verification of recursive Bitcoin contracts","year":2020,"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}