On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) (1998)

Cached

Download Links

by Bernard Boigelot , Pierre Wolper
Venue:ICALP'98, LNCS 1443
Citations:27 - 7 self