Details
Title
Che, Tong
Sciper ID
225769
Publications
Designing ASCY-compliant Concurrent Search Data Structures
Verifying Concurrent Data Structures Using Data-Expansion
Verifying Concurrent Data Structures Using Data-Expansion
Link to search
All resources
Record appears in
Authorities > People