Showing 1 - 1 results of 1 for search 'Ali Sezgin', 查询时间: 0.02s Refine Results
  1. 1
    Aspect-oriented linearizability proofs

    Aspect-oriented linearizability proofs 由 Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

    出版 2015-04-01
    获取全文
    文件

检索工具: