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
URL
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"
}
Files
Back to top