Browsing by Subject Linearisability
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2015 | Verifying linearisability: A comparative survey | Dongol, B; Derrick, J |
Issue Date | Title | Author(s) |
---|---|---|
2015 | Verifying linearisability: A comparative survey | Dongol, B; Derrick, J |