Rezultati
| Title: | Formalization and Verification of the PSTM architecture | Authors: | A. Liu; H. Zhu; Popović, Miroslav V   |
Issue Date: | 2017 | Publication: | 24th Asia-Pacific Software Engineering Conference (APSEC 2017) | Publisher: | IEEE, Nanjing, Jiangsu, China | Type: | Conference Paper | ISBN: | 978-1-5386-3681-7  Search Idenfier |
DOI: | 10.1109/APSEC.2017.49 | WoS-ID: | 000428733800043 | Scopus-ID: | 2-s2.0-85045916174 | URI: | https://enauka.gov.rs/handle/123456789/193236 | URL: | http://www.apsec2017.org/ https://ieeexplore.ieee.org/document/8305965 |
Metadata source: | Migrirano iz RIS podataka | Note: | verifikacija urađena na osnovu uvida u apstrakt | M-category: | Mp. category will be shown later |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.