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
Lengál Ondřej, Ing., Ph.D. (DITS)
Síč Juraj, Mgr. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Veanes Margus
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