A Logic Of Blockchain Updates

Kai Br{\"u}nnler
Dandolo Flumini
Thomas Studer

Metadata

Year 2017
Peer Reviewed done
Venue arXiv preprint arXiv:1707.01766
mode_edit