학술논문
Polynomial Identification of ω-Automata
Document Type
Conference Paper
Author
Source
In: Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12079 LNCS:325-343)
Subject
Language
English
ISSN
16113349
03029743
03029743