Bernard Boigelot, Stéphane Rassart, Pierre Wolper. On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). In Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel, editors, Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Volume 1443 of Lecture Notes in Computer Science, pages 152-163, Springer, 1998. [doi]
Abstract is missing.