Verifying Liquidity of Bitcoin Contracts. Bartoletti, M. & Zunino, R. In Nielson, F. & Sands, D., editors, 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, volume 11426, of Lecture Notes in Computer Science, pages 222–247, 2019. Springer.
Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}