6ef77e81a5aa212a1f05f8bd8bde226b849d0cb5
1 \documentclass[a4paper]{article
}
9 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
13 \DeclareGraphicsExtensions{.eps
}
15 \title{Timed automata and
\UPPAAL}
16 \author{Pim Jager
\and Mart Lubbers
}
24 \section*
{Second part
}