Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
HOLÍK, L. LENGÁL, O. SÍČ, J. VOJNAR, T. VEANES, M.
Originální název
Simulation Algorithms for Symbolic Automata (Technical Report)
Typ
zpráva odborná
Jazyk
angličtina
Autoři
HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M.
Vydáno
7. 8. 2018
Místo
Ithaca
Strany od
1
Strany do
23
Strany počet
URL
https://arxiv.org/abs/1807.08487
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" }
Dokumenty
1807.08487.pdf