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,
}











