Search
Add filters:
Use filters to refine the search results.
Results 1-2 of 2 (Search time: 0.008 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2015 | Defining correctness conditions for concurrent objects in multicore architectures | Dongol, B; Derrick, J; Groves, L; Smith, G |
2015 | Admit your weakness: Verifying correctness on TSO architectures | Smith, G; Derrick, J; Dongol, B |