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

Cached

Download Links

by Pierre Wolper , Bernard Boigelot
Venue:In Proc. Static Analysis Symposium, LNCS 983
Citations:46 - 4 self