Results

eNauka >  Results >  The completeness theorem for a temporal logic with probabilistic operators
Title: The completeness theorem for a temporal logic with probabilistic operators
Authors: Ognjanović, Zoran  ; Rašković, Miodrag
Editors: Tošić, R.; Budimac, Z.
Issue Date: 1997
Type: Conference Paper
Collation: str. 177-181
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3088
https://enauka.gov.rs/handle/123456789/579570
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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