- Timestamp:
- Jun 15, 2012, 1:56:59 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2012-policy/biblio.bib
r2093 r2094 122 122 123 123 @article{TSO2011, 124 author = {\ &\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},124 author = {\v{S}ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter}, 125 125 title = {Relaxed-memory concurrency and verified compilation}, 126 126 journal = {SIGPLAN Not.}, … … 141 141 } 142 142 143 @inproceedings{ \&\#348;evcik:2011:RCV:1926385.1926393,144 author = {\ &\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},143 @inproceedings{Sevcik:2011:RCV:1926385.1926393, 144 author = {\v{S}ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter}, 145 145 title = {Relaxed-memory concurrency and verified compilation}, 146 146 booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
Note: See TracChangeset
for help on using the changeset viewer.