Browsing by Author "Dietsch, Daniel"
Now showing items 1-2 of 2
-
Exchanging Verification Witnesses between Verifiers
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias
93 -
Verification Witnesses
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Stahlbauer, Andreas
105-106