Browsing eNauka
Browsing by Author Budimac, Z.
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1997 | The completeness theorem for a temporal logic with probabilistic operators | Ognjanović, Zoran   ; Rašković, Miodrag | Conference Paper | Mp. category will be shown later |