Detail publikace

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.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, doc. Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Veanes Margus
URL
Rok
2018
Strany
1–23
Místo
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"
}
Soubory
Nahoru