Results
Title: | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Authors: | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Zeljić Aleksandar; Glavan Paola | Issue Date: | 2013 | Publication: | The first national conference “Information theory and complex systems” | Publisher: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Type: | Conference Paper | ISBN: | 978-86-80593-49-4 Search Idenfier | Collation: | str. 16-16 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3232 https://enauka.gov.rs/handle/123456789/476564 |
Metadata source: | Migracija | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.