Rezultati
| Назив: | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Аутори: | Marinković, Bojan  ; Ognjanović, Zoran  ; Todorović, Milan ; Zeljić Aleksandar; Glavan Paola |
Година: | 2013 | Публикација: | The first national conference “Information theory and complex systems” | Издавач: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Тип резултата: | Конференцијски рад | ISBN: | 978-86-80593-49-4  Претражи идентификатор |
Колација: | str. 16-16 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3232 https://enauka.gov.rs/handle/123456789/476564 |
Извор метаподатака: | Migracija | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.