Publication Details

Simulation Algorithms for Symbolic Automata (Technical Report)

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca: 2018. p. 1-23.

Type

report

Language

English

Authors

Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Síč Juraj, Mgr. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Veanes Margus

URL

https://arxiv.org/abs/1807.08487

Published

2018

Pages

1–23

Place

Ithaca

BibTeX

@techreport{BUT161934,
  author="Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč} and Tomáš {Vojnar} and Margus {Veanes}",
  title="Simulation Algorithms for Symbolic Automata (Technical Report)",
  year="2018",
  address="Ithaca",
  pages="1--23",
  url="https://arxiv.org/abs/1807.08487"
}