Publikacje

Kyveli Maria Doveri Karra

2024

• Kyveli Maria Doveri Karra , Pierre Ganty, B. Srivathsan, A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Gandhinagar, India, 16 grudnia 2024 - 18 grudnia 2024. Zobacz w PBN