Marinković, Bojan

Network Lab

Year from:

Year to:

Refined By:

???jsp.search.filter.citation_category???: M23

Type: article

Date Issued: [2010 TO 2019]

Issue Date	Title	Author(s)	Type	М-cat.
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Article	23M23