Autori: Xu Chao
| 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 |
     |
