@inproceedings{AzzRigLam18-PLP-IW,
title = {Modeling Bitcoin Protocols with Probabilistic Logic Programming },
booktitle = {Probabilistic Logic Programming (PLP 2018)},
year = 2018,
author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Elena Bellodi and Riccardo Zese},
editor = {Elena Bellodi and Tom Schrijvers },
volume = {2219},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
address = {Aachen, Germany},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-2219/paper6.pdf},
venue = {Ferrara, Italy},
eventdate = {September 1, 2018},
copyright = {by the authors},
pages = {49-61},
scopus = {2-s2.0-85054569753}
}
This file was generated by bibtex2html 1.98.