Browsing by Author Smith, G
Showing results 343 to 344 of 344
< previous
Issue Date | Title | Author(s) |
---|---|---|
2014 | Using coarse-grained abstractions to verify linearizability on TSO architectures | Derrick, J; Smith, G; Groves, L; Dongol, B |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |