Results
| Назив: | Formalization and Verification of the PSTM architecture | Аутори: | A. Liu; H. Zhu; Popović, Miroslav V   |
Година: | 2017 | Публикација: | 24th Asia-Pacific Software Engineering Conference (APSEC 2017) | Издавач: | IEEE, Nanjing, Jiangsu, China | Тип резултата: | Конференцијски рад | ISBN: | 978-1-5386-3681-7  Претражи идентификатор |
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 |
Извор метаподатака: | Migrirano iz RIS podataka | Напомена: | verifikacija urađena na osnovu uvida u apstrakt | М-категорија: | Мп категорија ће бити приказана накнадно. |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.