author = { Feuilloley, Laurent AND Fraigniaud, Pierre AND Hirvonen, Juho AND Paz, Ami AND Perry, Mor Laurent Feuilloley and Pierre Fraigniaud and Juho Hirvonen and Ami Paz and Mor Perry },

title = { Redundancy in Distributed Proofs },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Proof-labeling schemes , Distributed graph algorithms , Distributed verification , Space-time tradeoffs , Non-determinism },

year = {2018},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }