Rezultati
| Naziv: | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Autori: | Marinković, Bojan  ; Ognjanović, Zoran  ; Todorović, Milan ; Zeljić Aleksandar; Glavan Paola |
Godina: | 2013 | Publikacija: | The first national conference “Information theory and complex systems” | Izdavač: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Tip rezultata: | Konferencijski rad | ISBN: | 978-86-80593-49-4  Pretraži identifikator |
Kolacija: | str. 16-16 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3232 https://enauka.gov.rs/handle/123456789/476564 |
Izvor metapodataka: | Migracija | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.