Verimag

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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 873296