Files
Details
Title
Verifying Concurrent Data Structures Using Data-Expansion
Author(s)
Che, Tong ; Guerraoui, Rachid
Pagination
27
Date
2014
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DCL - Distributed Computing Laboratory
Work produced at EPFL
Technical Reports
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DCL - Distributed Computing Laboratory
Work produced at EPFL
Technical Reports
Record creation date
2014-06-06