Publication detail

Simulation Algorithms for Symbolic Automata (Technical Report)

HOLÍK, L. LENGÁL, O. SÍČ, J. VOJNAR, T. VEANES, M.

Original Title

Simulation Algorithms for Symbolic Automata (Technical Report)

Type

report

Language

English

Authors

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M.

Released

7. 8. 2018

Location

Ithaca

Pages from

1

Pages to

23

Pages count

23

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

Documents

1807.08487.pdf