#### DMCA

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

by
Presburger Arithmetic
,
Hubert Comon
,
Yan Jurski