Literature/pfenning-dfa16.pdf
author Christian Urban <urbanc@in.tum.de>
Sat, 23 Feb 2019 21:52:06 +0000 (2019-02-23)
changeset 313 3b8e3a156200
parent 165 ca4dcfd912cb
permissions -rw-r--r--
adapted the Bitcoded correctness proof to using AALTs
(binary:application/pdf)