Results

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.

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.