Results
| Naziv: | An axiomatization of a first-order branching time temporal logic | Autori: | Doder, Dragan  ; Ognjanović, Zoran  ; Zoran Marković |
Godina: | 2010 | Publikacija: | Journal of Universal Computer Science | ISSN  : | 0948-695x Pretraži identifikator |
Izdavač: | J.UCS | Tip rezultata: | Naučni članak | Kolacija: | 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 |
Izvor metapodataka: | Migracija | M-kategorija: | 23M23 - Međunarodni časopis kategorije M23 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.