TY - JOUR AU - Bojan Marinković AU - Zoran Ognjanović AU - Paola Glavan AU - Anton Kos AU - Anton Umek TI - Correctness of the Chord Protocol JO - Computer Science and Information Systems PY - 2020 VL - 17 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/ ID - CSIS_2020_17_1_a8 ER -