000199451 001__ 199451
000199451 005__ 20190123024025.0
000199451 037__ $$aREP_WORK
000199451 245__ $$aVerifying Concurrent Data Structures Using Data-Expansion
000199451 269__ $$a2014
000199451 260__ $$c2014
000199451 300__ $$a27
000199451 336__ $$aReports
000199451 700__ $$0247118$$aChe, Tong$$g225769
000199451 700__ $$0240335$$aGuerraoui, Rachid$$g105326
000199451 8564_ $$s491956$$uhttps://infoscience.epfl.ch/record/199451/files/ecc.pdf$$yn/a$$zn/a
000199451 909C0 $$0252114$$pDCL$$xU10407
000199451 909C0 $$0252413$$pRISD$$xU12523
000199451 909CO $$ooai:infoscience.tind.io:199451$$pIC$$preport$$qGLOBAL_SET
000199451 917Z8 $$x225769
000199451 937__ $$aEPFL-REPORT-199451
000199451 937__ $$aEPFL-REPORT-199451
000199451 973__ $$aEPFL
000199451 980__ $$aREPORT