You are not logged in |
Back to the list of the institutes
Publications
Kyveli Maria Doveri Karra
Number of publications: 12024
- 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 December 2024 - 18 December 2024. See in PBN
