repositories
/
mc1516the.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Uppaalmodel of train gate
[mc1516the.git]
/
exam.tex
1
\documentclass
{
article
}
2
3
\usepackage
[
a4paper
]{
geometry
}
4
5
\newcommand
{
\UPPAAL
}{
\textsc
{
UPPAAL
}}
6
7
\title
{
Timed automata and
\UPPAAL
}
8
\author
{
Pim Jager
\and
{}
Mart Lubbers
}
9
\date
{
\today
}
10
11
\begin
{
document
}
12
\section
*
{
First part
}
13
\input
{
first.tex
}
14
15
\section
*
{
Second part
}
16
\input
{
second.tex
}
17
18
\section
*
{
Third part
}
19
\input
{
third.tex
}
20
21
\end
{
document
}