On the expressiveness of real and integer arithmetic automata (extended abstract (1998)

by B Boigelot, S Rassart, P Wolper
Venue:In Proc. 25th Int. Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science