61aae16191a47b40a13e433258aaaaf2c538100e
1 \documentclass{article
}
3 \usepackage[a4paper]{geometry
}
5 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
7 \title{Timed automata and
\UPPAAL}
8 \author{Pim Jager
\and{}Mart Lubbers
}
15 \section*
{Second part
}