title = {Flat Parametric Counter Automata },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2009},
journal = {Fundam. Inform.},
number = {2},
pages = {275-303},
volume = {91},
team = {DCS,PACSS},
}
bibtex
@article{BIL09,
title = {Flat Parametric Counter Automata },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2009},
journal = {Fundam. Inform.},
number = {2},
pages = {275-303},
volume = {91},
team = {DCS,PACSS},
}
title = {Flat Parametric Counter Automata },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2009},
journal = {Fundam. Inform.},
number = {2},
pages = {275-303},
volume = {91},
team = {DCS,PACSS},
}
