Publication Details
Finite Automata Methods for Automated Reasoning
HOLÍK, L. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020. p. 0-0.
Type
habilitation thesis
Language
English
Authors
Published
2020
Pages
229
Publisher
Faculty of Information Technology BUT
Place
Brno
BibTeX
@misc{BUT175806,
author="Lukáš {Holík}",
title="Finite Automata Methods for Automated Reasoning",
year="2020",
pages="229",
publisher="Faculty of Information Technology BUT",
address="Brno",
url="https://www.fit.vut.cz/research/publication/12550/",
note="habilitation thesis"
}