conf.researchr.org / Si Liu
Not registered as user yet
Name: Si Liu
Contributions
| TACAS 2019 | Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track |
Not registered as user yet
Name: Si Liu
Contributions
| TACAS 2019 | Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track |