Faculty of Information Technology, BUT

Publication Details

Register Automata with Linear Arithmetic

CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017. Available from: https://arxiv.org/pdf/1704.03972.pdf
Type
technical report
Language
english
Authors
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Tan Tony (NTU)
Wu Zhilin (Chinese Academy of Sciences)
URL
Published
2017
Pages
1-30
Place
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"
}
Back to top