CALF: Categorical automata learning framework

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Van Heerdt, G.; Sammartino, M.; Silva, A.

Journal title: In: Goranko, V and Dam, M, (eds.) Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). (pp. 29:1-29:24). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017)

Journal number: 1

Journal publisher: Lipics

Published year: 2017