Results
| Title: | An axiomatization of a first-order branching time temporal logic | Authors: | Doder, Dragan  ; Ognjanović, Zoran  ; Zoran Marković |
Issue Date: | 2010 | Publication: | Journal of Universal Computer Science | ISSN  : | 0948-695x Search Idenfier |
Publisher: | J.UCS | Type: | Article | Collation: | 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 |
Metadata source: | Migracija | M-category: | 23M23 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.