@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.