Changeset 2094 for src


Ignore:
Timestamp:
Jun 15, 2012, 1:56:59 PM (8 years ago)
Author:
boender
Message:
  • oops
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/CPP2012-policy/biblio.bib

    r2093 r2094  
    122122
    123123@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},
    125125 title = {Relaxed-memory concurrency and verified compilation},
    126126 journal = {SIGPLAN Not.},
    … …  
    141141}
    142142
    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},
    145145 title = {Relaxed-memory concurrency and verified compilation},
    146146 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.