eNauka - pregled
Pregled prema Projekat Software and tools for multi-core systems
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav   ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |