Rezultati
| Naziv: | Combining behavioural types with security analysis | Autori: | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia   ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres |
Godina: | 2015 | Publikacija: | Journal of Logical and Algebraic Methods in Programming | ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Pretraži identifikator |
Izdavač: | Elsevier | Tip rezultata: | Naučni članak | Kolacija: | vol. 84 br. 6 str. 763-780 | DOI: | 10.1016/j.jlamp.2015.09.003 | WoS-ID: | 000365453100004 | Scopus-ID: | 2-s2.0-84997755144 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2588 https://enauka.gov.rs/handle/123456789/334648 |
Izvor metapodataka: | Migracija | M-kategorija: | 21M21 - Vodeći međunarodni časopis kategorije M21 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.