# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1306690583 -7200
# Node ID 3dcf7966592deafce1450d9e53d41f168bd03d03
# Parent  bcbcdb92089f13b45712d802c05a02e41f967acd
Sans-serif complex.

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