Showing 1 - 1 results of 1 for search 'Zhang, Shao Jie', query time: 0.02s Refine Results
  1. 1
    Verifying linearizability via optimized refinement checking

    Verifying linearizability via optimized refinement checking by Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei

    Published 2013
    Get full text
    Get full text
    Journal Article

Search Tools: