Резултати
Назив: | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Аутори: | Marinković, Bojan ![]() ![]() ![]() ![]() ![]() ![]() |
Година: | 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 | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.