exam.tex

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