Publication detail

Finite Automata Methods for Automated Reasoning

HOLÍK, L.

Original Title

Finite Automata Methods for Automated Reasoning

Type

habilitation thesis

Language

English

Authors

HOLÍK, L.

Released

10. 3. 2020

Publisher

Faculty of Information Technology BUT

Location

Brno

Pages count

229

URL

https://www.fit.vut.cz/research/publication/12550/

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"
}