Detail publikace

Simulation Algorithms for Symbolic Automata (Technical Report)

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

23

URL

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