Резултати
Назив: | Logical Framework for Proving the Correctness of the Chord Protocol | Аутори: | Marinković, Bojan B. ![]() ![]() ![]() ![]() |
Година: | 2018 | Публикација: | LAP 2018 | Издавач: | Dubrovnik, Hrvatska | Тип резултата: | Конференцијски рад | Колација: | 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 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.