CALF: Categorical Automata Learning Framework

AuthID
P-00N-22G
3
Author(s)
Heerdt, Gv
·
Sammartino, M
·
2
Editor(s)
Goranko,V;Dam,M
Document Type
Proceedings Paper
Year published
2017
Published
in 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden in LIPIcs
Volume: 82, Pages: 29:1-29:24
Indexing
Publication Identifiers
DBLP: conf/csl/HeerdtS017
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.