Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek. Correctness of the Chord protocol. Comput. Sci. Inf. Syst., 17(1):141-160, 2020. [doi]
@article{MarinkovicOGKU20, title = {Correctness of the Chord protocol}, author = {Bojan Marinkovic and Zoran Ognjanovic and Paola Glavan and Anton Kos and Anton Umek}, year = {2020}, doi = {10.2298/CSIS181115017M}, url = {https://doi.org/10.2298/CSIS181115017M}, researchr = {https://researchr.org/publication/MarinkovicOGKU20}, cites = {0}, citedby = {0}, journal = {Comput. Sci. Inf. Syst.}, volume = {17}, number = {1}, pages = {141-160}, }