Results
Title: | Logical Framework for Proving the Correctness of the Chord Protocol | Authors: | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan | Issue Date: | 2018 | Publication: | LAP 2018 | Publisher: | Dubrovnik, Hrvatska | Type: | Conference Paper | Collation: | str. 29-31 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3056 https://enauka.gov.rs/handle/123456789/440132 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/LAP2018 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.