Резултати

еНаука >  Резултати >  The completeness theorem for a temporal logic with probabilistic operators
Назив: The completeness theorem for a temporal logic with probabilistic operators
Аутори: Ognjanović, Zoran  ; Rašković, Miodrag
Уредници: Tošić, R.; Budimac, Z.
Година: 1997
Тип резултата: Конференцијски рад
Колација: str. 177-181
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3088
https://enauka.gov.rs/handle/123456789/579570
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.