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

https://arxiv.org/pdf/1704.03972.pdf

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"
}