Vol-2218⫷ Vol-2219 ⫸Vol-2220
urn:nbn:de:0074-2219-0


Vol-2219/paper5⫷Vol-2219/paper6⫸Vol-2219/paper7
Damiano AzzoliniFabrizio RiguzziEvelina LammaRiccardo ZeseElena Bellodi

Modeling Bitcoin Protocols with Probabilistic Logic Programming