DMCA

Multiple counters automata, safety analysis and Presburger arithmetic (1998)

Cached

Download Links

by Presburger Arithmetic , Hubert Comon , Yan Jurski