## An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) (1995)

by
Pierre Wolper
,
Bernard Boigelot

Venue: | In Proc. Static Analysis Symposium, LNCS 983 |

Citations: | 46 - 4 self |