Neda Saeedloei, Feliks Kluzniak. Minimization of the Number of Clocks for Timed Scenarios. In Sérgio Campos, Marius Minea, editors, Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Volume 13130 of Lecture Notes in Computer Science, pages 122-139, Springer, 2021. [doi]
Abstract is missing.