Matches in Wikidata for { <http://www.wikidata.org/entity/Q60141710> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q60141710 description "article scientifique publié en 2017" @default.
- Q60141710 description "im Mai 2017 veröffentlichter wissenschaftlicher Artikel" @default.
- Q60141710 description "scholarly article by Colin Gordon et al published 10 May 2017 in ACM Transactions on Programming Languages and Systems" @default.
- Q60141710 description "wetenschappelijk artikel" @default.
- Q60141710 description "наукова стаття, опублікована в травні 2017" @default.
- Q60141710 name "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 name "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 type Item @default.
- Q60141710 label "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 label "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 prefLabel "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 prefLabel "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 P1433 Q60141710-1D073A77-2BE3-46A0-BA09-6DFDA04B1E1A @default.
- Q60141710 P1476 Q60141710-3F57D9AA-16CD-45FE-953B-A1012D2D5D9F @default.
- Q60141710 P2093 Q60141710-21CAE74C-16B7-4593-BD66-017FA2A81FE8 @default.
- Q60141710 P2093 Q60141710-356E8BA4-6A94-40F4-A635-40319CCBF58D @default.
- Q60141710 P2093 Q60141710-9F1F7496-2B34-4E0F-A498-611D6321C3EF @default.
- Q60141710 P304 Q60141710-3CF23806-82C1-45DB-ACF7-B7104D6661B8 @default.
- Q60141710 P31 Q60141710-0F3929BC-872B-4DA2-BE69-2C887543355F @default.
- Q60141710 P356 Q60141710-1558CE96-EFF1-47A4-95D5-A0C33B38E004 @default.
- Q60141710 P433 Q60141710-F7A80FD3-0181-455D-BDE4-4FF6FE479188 @default.
- Q60141710 P478 Q60141710-3C170806-DE12-4901-B46F-29F1750D0B87 @default.
- Q60141710 P50 Q60141710-69547E15-FA3E-4EAD-B99A-E9511BC6363A @default.
- Q60141710 P577 Q60141710-70B17533-69D4-40BF-B953-B66555332391 @default.
- Q60141710 P8978 Q60141710-6A769478-3F80-4E61-BFD7-46B4B64084CB @default.
- Q60141710 P921 Q60141710-9EE51820-E782-4AC2-B6E1-9F9A1EED910A @default.
- Q60141710 P356 3064850 @default.
- Q60141710 P8978 GordonEGP17 @default.
- Q60141710 P1433 Q4650737 @default.
- Q60141710 P1476 "Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types" @default.
- Q60141710 P2093 "Dan Grossman" @default.
- Q60141710 P2093 "Matthew J. Parkinson" @default.
- Q60141710 P2093 "Michael D. Ernst" @default.
- Q60141710 P304 "1-54" @default.
- Q60141710 P31 Q13442814 @default.
- Q60141710 P356 "10.1145/3064850" @default.
- Q60141710 P433 "3" @default.
- Q60141710 P478 "39" @default.
- Q60141710 P50 Q60058530 @default.
- Q60141710 P577 "2017-05-10T00:00:00Z" @default.
- Q60141710 P8978 "journals/toplas/GordonEGP17" @default.
- Q60141710 P921 Q1757694 @default.