%0 Thesis %1 phd/hal/AnnichiniCollomb01 %A Collomb-Annichini, Aurore %D 2001 %K dblp %T Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre.

@phdthesis{phd/hal/AnnichiniCollomb01, added-at = {2020-07-21T00:00:00.000+0200}, author = {Collomb-Annichini, Aurore}, biburl = {https://www.bibsonomy.org/bibtex/2337e4dcce43a8e07260da80ddceb743b/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00004334}, interhash = {87ceeb7ad25f91b071a2bd6d930ca62c}, intrahash = {337e4dcce43a8e07260da80ddceb743b}, keywords = {dblp}, school = {Joseph Fourier University, Grenoble, France}, timestamp = {2020-07-24T00:49:00.000+0200}, title = {Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre.}, year = 2001 }