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