Publication Details

Simulation Algorithms for Symbolic Automata (Technical Report)

HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Available from: https://arxiv.org/abs/1807.08487
Type
technical report
Language
english
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Síč Juraj, Mgr. (DITS FIT BUT)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Published
2018
Pages
1-23
Place
Ithaca, US
BibTeX
@TECHREPORT{FITPUB11802,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c} and Margus Veanes and Tom\'{a}\v{s} Vojnar",
   title = "Simulation Algorithms for Symbolic Automata (Technical Report)",
   pages = "1--23",
   year = 2018,
   location = "Ithaca, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11802"
}
Back to top