2018.bib

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