Browsing by Author "Wang, Chao"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures(Institute of electrical and electronics engineers, 2015) Zhang, Lu; Chattopadhyay, Arijit; Wang, Chao