%0 Journal Article
%A Bojan Marinković
%A Zoran Ognjanović
%A Paola Glavan
%A Anton Kos
%A Anton Umek
%T Correctness of the Chord Protocol
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/
%F CSIS_2020_17_1_a8