Certification of Distributed Algorithms Solving Problems with Optimal Substructure.

Kim Vllinger, Wolfgang Reisig

Browse the full SEFM paper archive.