Changeset 3456


Ignore:
Timestamp:
Feb 20, 2014, 4:45:53 PM (5 years ago)
Author:
mulligan
Message:

more small changes to bib file, including filling in paolo's qapl entry properly

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.bib

    r3455 r3456  
    99@article{cerco,
    1010  INIauthor    = {R. Amadio and A. Asperti and N. Ayache and
    11                   B. Campbell and D. Mulligan and R. Pollack and
     11                  B. Campbell and D. P. Mulligan and R. Pollack and
    1212                  Y. R{\'e}gis-Gianas and C. Sacerdoti Coen and I.
    1313                  Stark},
    1414  author    = {Roberto Amadio and Andrea Asperti and Nicholas Ayache and
    15                   Brian Campbell and Dominic Mulligan and Randy Pollack and
     15                  Brian Campbell and Dominic P. Mulligan and Randy Pollack and
    1616                  Yann R{\'e}gis-Gianas and Claudio Sacerdoti Coen and Ian
    1717                  Stark},
     
    8181}
    8282
    83 @Unpublished{paolo,
     83@inproceedings{paolo,
    8484 author = {Paolo Tranquilli},
    8585 title = {Indexed Labels for Loop Iteration Dependent Costs},
    86  note = {to appear in EPTCS, proceedings of QAPL 2013},
    87  month = jan,
     86 booktitle = {QAPL},
     87 series = {EPTCS},
     88 volume = {117},
     89 doi = {10.4204/EPTCS.117.2},
    8890 year = {2013},
    89  url = {http://www.cs.unibo.it/~tranquil/content/docs/indlabels.pdf}
     91 pages = {19--23}
    9092}
    9193
     
    245247               Jan Staschulat and
    246248               Per Stenstr{\"o}m},
    247   title     = {The worst-case execution-time problem - overview of methods
     249  title     = {The worst-case execution-time problem---overview of methods
    248250               and survey of tools},
    249251  journal   = {ACM Trans. Embedded Comput. Syst.},
     
    257259@inproceedings{bobot,
    258260  year={2012},
    259   isbn={978-3-642-34280-6},
    260261  booktitle={Formal Methods and Software Engineering},
    261262  volume={7635},
    262263  series={Lecture Notes in Computer Science},
    263   editor={Aoki, Toshiaki and Taguchi, Kenji},
    264264  doi={10.1007/978-3-642-34281-3_14},
    265265  title={Separation Predicates: A Taste of Separation Logic in First-Order Logic},
    266266  url={http://dx.doi.org/10.1007/978-3-642-34281-3_14},
    267   publisher={Springer Berlin Heidelberg},
    268267  author={Bobot, François and Filliâtre, Jean-Christophe},
    269268  pages={167-181}
Note: See TracChangeset for help on using the changeset viewer.