Rezultati

eNauka >  Rezultati >  Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
Назив: Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
Аутори: Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V  
Година: 2019
Публикација: 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)
Тип резултата: Конференцијски рад
ISBN: 978-1-7281-3342-3 Претражи идентификатор
Колација: str. 240-247
DOI : 10.1109/TASE.2019.00039
WoS-ID: 000535358000032
URI: https://enauka.gov.rs/handle/123456789/806120
Пројекат: National Natural Science Foundation of China [61872145]
Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213]
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
Мп категорија ће бити приказана накнадно.

3
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.