еНаука - преглед

Преглед према Аутор Zeljić Aleksandar

Приказ резултата 1 до 1 од 1
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2013Formal Description of the Chord Protocol using Isabelle/HOL Proof AssistantMarinković, Bojan ; Ognjanović, Zoran  ; Todorović, Milan  ; Zeljić Aleksandar; Glavan PaolaКонференцијски рад
Мп категорија ће бити приказана накнадно.