%0 Conference Paper %1 conf/concur/DaveFKL20 %A Dave, Vrunda %A Filiot, Emmanuel %A Krishna, Shankara Narayanan %A Lhote, Nathan %B CONCUR %D 2020 %E Konnov, Igor %E Kovács, Laura %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 43:1-43:17 %T Synthesis of Computable Regular Functions of Infinite Words. %U http://dblp.uni-trier.de/db/conf/concur/concur2020.html#DaveFKL20 %V 171 %@ 978-3-95977-160-3

@inproceedings{conf/concur/DaveFKL20, added-at = {2020-08-27T00:00:00.000+0200}, author = {Dave, Vrunda and Filiot, Emmanuel and Krishna, Shankara Narayanan and Lhote, Nathan}, biburl = {https://www.bibsonomy.org/bibtex/2cf3069945f0853d652fffb1b6d817c41/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2020}, editor = {Konnov, Igor and Kovács, Laura}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.43}, interhash = {c9f13bc3ad200eeb0f900ea104fa1b5a}, intrahash = {cf3069945f0853d652fffb1b6d817c41}, isbn = {978-3-95977-160-3}, keywords = {dblp}, pages = {43:1-43:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:29.000+0200}, title = {Synthesis of Computable Regular Functions of Infinite Words.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2020.html#DaveFKL20}, volume = 171, year = 2020 }