1.1 --- a/paper/src/paper.tex	Sun May 29 03:34:06 2011 +0200
     1.2 +++ b/paper/src/paper.tex	Sun May 29 19:36:23 2011 +0200
     1.3 @@ -10,11 +10,9 @@
     1.4  
     1.5  \pagestyle{headings}
     1.6  \renewcommand{\familydefault}{\sfdefault}
     1.7 -\title{\uppercase{\textbf{\large{Algorithmic Verification of Reactive Systems}}}}
     1.8 -%\title{\textsc{\large{Algorithmic Verification of Reactive Systems}}}
     1.9 -%\author{\textsc{\small{Eugen Sawin}}\\
    1.10 -\author{\uppercase{\footnotesize{Eugen Sawin}}\\
    1.11 -  \em{\footnotesize{University of Freiburg, Germany}}}
    1.12 +\title{\textbf{\uppercase{\Large{A}\large{lgorithmic} \Large{V}\large{erification of} \Large{R}\large{eactive} \Large{S}\large{ystems}}}}
    1.13 +\author{\uppercase{\small{E}\scriptsize{UGEN} \small{S}\scriptsize{AWIN}\\
    1.14 +\textsc{\em{\small{U}\scriptsize{NIVERSITY OF} \small{F}\scriptsize{REIBURG,} \small{G}\scriptsize{ERMANY}}}}}
    1.15  \date{\textsc{\hfill}}
    1.16  \begin{document}
    1.17  
    1.18 @@ -75,12 +73,13 @@
    1.19  \section{Model Checking}
    1.20  \begin{thebibliography}{99}
    1.21  \bibitem{ref:ltl&büchi} 
    1.22 -\textsc{Madhavan Mukund.}
    1.23 +\uppercase{M{\footnotesize adhavan} M{\footnotesize ukund}.}
    1.24  {\em Linear-Time Temporal Logic and B\"uchi Automata}.
    1.25  Winter School on Logic and Computer Science, Indian Statistical Institute, Calcutta, 1997.
    1.26  
    1.27  \bibitem{ref:handbook} 
    1.28 -\textsc{Patrick Blackburn, Frank Wolter and Johan Van Benthem.}
    1.29 +\uppercase{P{\footnotesize atrick} B{\footnotesize lackburn}, 
    1.30 +F{\footnotesize rank} W{\footnotesize olter and} J{\footnotesize ohan van} B{\footnotesize enthem}.}
    1.31  {\em Handbook of Modal Logic (Studies in Logic and Practical Reasoning)}.
    1.32  3rd Edition, Elsevier, Amsterdam, 2007.
    1.33  \end{thebibliography}