Резултати
| Назив: | An axiomatization of a first-order branching time temporal logic | Аутори: | Doder, Dragan  ; Ognjanović, Zoran  ; Zoran Marković |
Година: | 2010 | Публикација: | Journal of Universal Computer Science | ISSN  : | 0948-695x Претражи идентификатор |
Издавач: | J.UCS | Тип резултата: | Научни чланак | Колација: | vol. 11 br. 16 str. 1439-1451 | DOI: | 10.3217/jucs-016-11-1439 | WoS-ID: | 000282703500005 | Scopus-ID: | 2-s2.0-77955793302 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/55 https://enauka.gov.rs/handle/123456789/295154 |
Извор метаподатака: | Migracija | М-категорија: | 23M23 - Међународни часопис категорије M23 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.