8ac1d88fa2209dd1f58b3370fadc099242d80e27
1 \documentclass{article
}
3 \usepackage[a4paper]{geometry
}
6 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
9 \DeclareGraphicsExtensions{.eps
}
11 \title{Timed automata and
\UPPAAL}
12 \author{Pim Jager
\and{}Mart Lubbers
}
19 \section*
{Second part
}