"Certification of Distributed Algorithms Solving Problems with Optimal ..."

Kim Völlinger, Wolfgang Reisig (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics