B | |
---|---|
[BIL06] | Marius Bozga,
Radu Iosif et
Yassine Lakhnech.
Flat Parametric Counter Automata.
Research Report TR-2005-15, Lab. VERIMAG, Grenoble, France, mars 2006.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
B | |
---|---|
[BIL06] | Marius Bozga,
Radu Iosif et
Yassine Lakhnech.
Flat Parametric Counter Automata.
Research Report TR-2005-15, Lab. VERIMAG, Grenoble, France, mars 2006.
|