Detail publikace

Simulation Algorithms for Symbolic Automata

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata. In Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. p. 109-125. ISBN: 978-3-030-01089-8. ISSN: 0302-9743.
Název česky
Symbolické algoritmy pro symbolické automaty
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Veanes Margus
URL
Klíčová slova

symbolic automata simulation finite automata

Abstrakt

Tento článek zkoumá efektivní metody výpočtu relace simulace na konečných automatech se symbolickou abecedou.

Rok
2018
Strany
109–125
Časopis
Lecture Notes in Computer Science, roč. 11138, č. 1, ISSN 0302-9743
Sborník
Proc. of 16th International Symposium on Automated Technology for Verification and Analysis
ISBN
978-3-030-01089-8
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-030-01090-4_7
UT WoS
000723531300007
EID Scopus
2-s2.0-85054794436
BibTeX 
@inproceedings{BUT155081,
  author="Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč} and Tomáš {Vojnar} and Margus {Veanes}",
  title="Simulation Algorithms for Symbolic Automata",
  booktitle="Proc. of 16th International Symposium on Automated Technology for Verification and Analysis",
  year="2018",
  journal="Lecture Notes in Computer Science",
  volume="11138",
  number="1",
  pages="109--125",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-030-01090-4\{_}7",
  isbn="978-3-030-01089-8",
  issn="0302-9743",
  url="http://dx.doi.org/10.1007/978-3-030-01090-4_7"
}
Nahoru