exam.tex

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