Changeset 2095 for src/ASM/CPP2012-asm/cpp-2012-asm.bib
- Timestamp:
- Jun 15, 2012, 1:58:32 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2012-asm/cpp-2012-asm.bib
r2092 r2095 113 113 114 114 @inproceedings 115 { sevcik:relaxed-memory:2011, 116 author = {Jaroslav \v{S}ev\v{c}\'ik and Viktor Vafeiadis and Francesco {Zappa Nardelli} and Suresh Jagannathan and Peter Sewell}, 117 title = {Relaxed-Memory Concurrency and Verified Compilation}, 118 booktitle = {Principles of Programming Languages {(POPL)}}, 119 year = {2011} 120 } 121 122 @inproceedings 115 123 { tuch:types:2007, 116 124 author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
Note: See TracChangeset
for help on using the changeset viewer.