Uppaal Model Repository
Dynamic Extrapolation in Extended Timed Automata, Nicolaj Ø. Jensen, Peter G. Jensen, Kim G. Larsen (2023). In: Li, Y., Tahar, S. (eds) Formal Methods and Software Engineering. ICFEM 2023. Lecture Notes in Computer Science, vol 14308. Springer, Singapore. ISBN 978-981-99-7584-6, [DOI]