Technical report

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
Publication language:english
Original title:Register Automata with Linear Arithmetic
Pages:1-30
Place:arXiv:1704.03972, US
Year:2017
URL:https://arxiv.org/pdf/1704.03972.pdf
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11433}
}

Your IPv4 address: 54.157.81.13
Switch to IPv6 connection

DNSSEC [dnssec]