Skip to content

Verifying the Output of a Distributed Algorithm Using Certification.

Kim Vllinger

VenueBRV
Year2017
ProceedingsRV

Browse the full RV paper archive.