eNauka - pregled
Pregled prema Autor Tošić, R.
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1997 | The completeness theorem for a temporal logic with probabilistic operators | Ognjanović, Zoran   ; Rašković, Miodrag | Conference Paper | Mp. category will be shown later |