Technická zpráva

HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Dostupné z: https://arxiv.org/abs/1807.08487
Jazyk publikace:angličtina
Název publikace:Simulation Algorithms for Symbolic Automata (Technical Report)
Strany:1-23
Místo vydání:Ithaca, US
Rok: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.cs?id=11802}
}

Vaše IPv4 adresa: 34.236.38.146
Přepnout na https