Accueil > Verimag > Publications

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