0b961f11615665f01a058b97b9c567f805eac2f4
1 \documentclass{article
}
3 \usepackage[a4paper]{geometry
}
7 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
11 \DeclareGraphicsExtensions{.eps
}
13 \title{Timed automata and
\UPPAAL}
14 \author{Pim Jager
\and{}Mart Lubbers
}
21 \section*
{Second part
}