eNauka - pregled
Pregled prema Autor Zeljić Aleksandar
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2013 | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Marinković, Bojan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |