Detail publikace

Simulations and Antichains for Efficient Handling of Finite Automata

HOLÍK, L.

Originální název

Simulations and Antichains for Efficient Handling of Finite Automata

Typ

dizertace

Jazyk

angličtina

Klíčová slova

Finite automata, finite tree automata, alternating Büchi automata, nondeterminism, simulation, bisimulation, universality, language inclusion, antichain, quotienting, regular tree model checking.

Autoři

HOLÍK, L.

Vydáno

18. 3. 2011

Nakladatel

Department of Intelligent Systems FIT BUT

Místo

Brno

Strany počet

128

URL

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

BibTex

@phdthesis{BUT192737,
  author="Lukáš {Holík}",
  title="Simulations and Antichains for Efficient Handling of Finite Automata",
  publisher="Department of Intelligent Systems FIT BUT",
  address="Brno",
  pages="128",
  year="2011",
  url="https://www.fit.vut.cz/research/publication/9517/"
}

Dokumenty

phdthesis.pdf