Detail publikace

Simulation Algorithms for Symbolic Automata (Technical Report)

HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Dostupné z: https://arxiv.org/abs/1807.08487
Typ
technická zpráva
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Rok
2018
Strany
1-23
Místo
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"
}
Nahoru