Marius Bozga, Radu Iosif, Yassine Lakhnech
Flat Parametric Counter Automata
ICALP, 2006.
@inproceedings{ICALP-v2-2006-BozgaIL, author = "Marius Bozga and Radu Iosif and Yassine Lakhnech", booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/11787006_49", isbn = "3-540-35907-9", pages = "577--588", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Flat Parametric Counter Automata}", volume = 4052, year = 2006, }