Flat Parametric Counter Automata.

Marius Bozga, Radu Iosif, Yassine Lakhnech

Browse the full ICALP paper archive.