Detail publikace

Simulation Algorithms for Symbolic Automata

HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, s. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743. Dostupné z: http://dx.doi.org/10.1007/978-3-030-01090-4_7
Název česky
Symbolické algoritmy pro symbolické automaty
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Bc. (VCIT FIT VUT)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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, č. 11138, ISSN 0302-9743
Sborník
Proc. of 16th International Symposium on Automated Technology for Verification and Analysis
Konference
16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, US
ISBN
978-3-030-01089-8
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB11801,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c} and Margus Veanes and Tom\'{a}\v{s} Vojnar",
   title = "Simulation Algorithms for Symbolic Automata",
   pages = "109--125",
   booktitle = "Proc. of 16th International Symposium on Automated Technology for Verification and Analysis",
   journal = "Lecture Notes in Computer Science",
   number = 11138,
   year = 2018,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-030-01089-8",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-01090-4\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11801"
}
Nahoru