Browsing eNauka
Browsing by Project Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213]
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2019 | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP | Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V   | Conference Paper | Mp. category will be shown later |