The completeness theorem for a temporal logic with probabilistic operators

Ognjanović, Zoran; Rašković, Miodrag

Rezultati

eNauka > Rezultati > The completeness theorem for a temporal logic with probabilistic operators

Naziv:	The completeness theorem for a temporal logic with probabilistic operators
Autori:	Ognjanović, Zoran ; Rašković, Miodrag
Urednici:	Tošić, R.; Budimac, Z.
Godina:	1997
Tip rezultata:	Konferencijski rad
Kolacija:	str. 177-181
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/3088 https://enauka.gov.rs/handle/123456789/579570
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.