331d5d9b23103487468c91f9e6227f9cec2e5234
1 \documentclass{article
}
3 \usepackage[a4paper]{geometry
}
7 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
10 \DeclareGraphicsExtensions{.eps
}
12 \title{Timed automata and
\UPPAAL}
13 \author{Pim Jager
\and{}Mart Lubbers
}
20 \section*
{Second part
}