Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.

Hubert Comon, Yan Jurski

Browse the full CAV paper archive.