Showing 1 - 1 results of 1 for search 'Viktor Vafeiadis', query time: 0.03s
Refine Results
-
1
Aspect-oriented linearizability proofs by Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
Published 2015-04-01
Article