71bd9411857d55c8c0bdaf61922b29b35de29829
1 \documentclass[a4paper]{article
}
8 \newcommand{\UPPAAL}{\textsc{UPPAAL
}}
12 \DeclareGraphicsExtensions{.eps
}
14 \title{Timed automata and
\UPPAAL}
15 \author{Pim Jager
\and Mart Lubbers
}
23 \section*
{Second part
}