Technical report

HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Available from: https://arxiv.org/abs/1807.08487
Publication language:english
Original title:Simulation Algorithms for Symbolic Automata (Technical Report)
Pages:1-23
Place:Ithaca, US
Year:2018
URL:https://arxiv.org/abs/1807.08487
BibTeX:
@TECHREPORT{
   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
	(Technical Report)},
   pages = {1--23},
   year = {2018},
   location = {Ithaca, US},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11802}
}

Your IPv4 address: 54.226.4.91
Switch to https