exam.tex

   1 \documentclass[a4paper]{article}
   2
   3 \usepackage{booktabs}
   4 \usepackage{geometry}
   5 \usepackage{graphicx}
   6 \usepackage{url}
   7
   8 \newcommand{\UPPAAL}{\textsc{UPPAAL}}
   9 \let\tt\texttt
  10
  11 \graphicspath{{img/}}
  12 \DeclareGraphicsExtensions{.eps}
  13
  14 \title{Timed automata and \UPPAAL}
  15 \author{Pim Jager\and Mart Lubbers}
  16 \date{\today}
  17
  18 \begin{document}
  19 \maketitle
  20 \section*{First part}
  21 \input{first.tex}
  22
  23 \section*{Second part}
  24 \input{second.tex}
  25
  26 \section*{Third part}
  27 \input{third.tex}
  28
  29 \end{document}