@inproceedings{BIL06,
title = {Flat Parametric Counter Automata },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2006},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
pages = {577-588},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4052},
team = {DCS,PACSS},
}
