Ignore:
Timestamp:
Jun 15, 2012, 1:17:15 AM (7 years ago)
Author:
boender
Message:
  • changed bibliography style
  • added CerCo? thanks
  • some words of conclusion
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/main.tex

    r2064 r2084  
    44\usepackage{amsfonts}
    55\usepackage[british]{babel}
     6\usepackage{hyperref}
    67\usepackage[utf8]{inputenc}
    78\usepackage{listings}
     
    1415
    1516\mainmatter
    16 \title{On the correctness of a branch displacement algorithm}
     17\title{On the correctness of a branch displacement algorithm\thanks{Research supported by the CerCo project, within the Future and Emerging Technologies (FET) programme of the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number 243881}}
    1718\author{Jaap Boender \and Claudio Sacerdoti Coen}
    18 \institute{Alma Mater Studiorum---Università degli Studi di Bologna}
     19\institute{Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna}
    1920
    2021\maketitle
     
    4142
    4243\bibliography{biblio}
    43 \bibliographystyle{plain}
     44\bibliographystyle{splncs03}
    4445
    4546\end{document}
Note: See TracChangeset for help on using the changeset viewer.