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

https://arxiv.org/abs/1807.08487

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