Flat parametric counter automata. (2009)

by M Bozga, R Iosif, Y Lakhnech
Venue:Fundamenta Informaticae,