Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/tacas/AngluinFS20
AU - Angluin, Dana
AU - Fisman, Dana
AU - Shoval, Yaara
TI - Polynomial Identification of ømega-Automata.
BT - 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, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
SP - 325
EP - 343
PY - 2020//
DO - 10.1007/978-3-030-45237-7_20
UR - https://doi.org/10.1007/978-3-030-45237-7_20
ER -