Fakulta informačních technologií VUT v Brně

Detail publikace

Register Automata with Linear Arithmetic

CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017. Dostupné z: https://arxiv.org/pdf/1704.03972.pdf
Typ
technická zpráva
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Tan Tony (NTU)
Wu Zhilin (UCAS)
URL
Rok
2017
Strany
1-30
Místo
arXiv:1704.03972, US
BibTeX
@TECHREPORT{FITPUB11433,
   author = "Yu-Fang Chen and Ond\v{r}ej Leng\'{a}l and Tony Tan and Zhilin Wu",
   title = "Register Automata with Linear Arithmetic",
   pages = "1--30",
   year = 2017,
   location = "arXiv:1704.03972, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11433"
}
Nahoru