Verifying Concurrent Data Structures Using Data-Expansion

report

Verifying Concurrent Data Structures Using Data-Expansion

•

Guerraoui, Rachid

2014

Name

ecc.pdf

Access type

openaccess

Size

480.43 KB

Format

Adobe PDF

Checksum (MD5)

8d235a38d95890ecb2254114b3af664a