Powrót do listy instytutów
Publikacje
Kyveli Maria Doveri Karra
Liczba publikacji: 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 grudnia 2024 - 18 grudnia 2024. Zobacz w PBN