Pronađeno: 1-1 / 1 radova

Autori: Xu Chao

>> Filter: Samo Article i Review

>> Sve godine

Naslov Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP (Proceedings Paper)
Autori Xu Chao Wu Xi Zhu Huibiao Popovic Miroslav V  
Info 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), (2019), vol. br. , str. 240-247
Projekat National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213]
Ispravka Web of Science   Članak   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX