Ignore:
Timestamp:
May 19, 2011, 12:24:48 PM (9 years ago)
Author:
mulligan
Message:

some changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r814 r815  
    7373
    7474@inproceedings
     75{ blanqui:designing:2010,
     76  title = {Designing a {CPU} model: from a pseudo-formal document to fast code},
     77  author = {Fr\'ed\'eric Blanqui and Claude Helmstetter and Vania Joloboff and Jean-Fran\c{c}ois Monin and Xiaomu Shi},
     78  booktitle = {Proceedings of the $\mathrm{3^{rd}}$ Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools},
     79  year = {2010}
     80}
     81
     82@inproceedings
    7583{ blazy:formal:2006,
    7684  author = {Sandrine Blazy and Zaynah Dargaye and Xavier Leroy},
Note: See TracChangeset for help on using the changeset viewer.