Прегледање према Аутор Xu C.
Приказивање резултата 2 do 2 od 2
< претходна
Датум издавања | Наслов | Аутор(и) |
---|---|---|
1-јул-2019 | Modeling and verifying transaction scheduling for software transactional memory using CSP | Xu C.; Wu X.; Zhu H.; Popović, Miroslav |