Publication Details
Finite Automata Methods for Automated Reasoning
HOLÍK Lukáš. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020.
Type
habilitation
Language
english
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Published
2020
Pages
229
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
Files