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
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
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"
}
Files
Back to top