%0 Thesis %1 phd/hal/Ribet05 %A Ribet, Pierre-Olivier %D 2005 %K %T Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire.

@phdthesis{phd/hal/Ribet05, added-at = {2023-12-12T21:12:38.000+0100}, author = {Ribet, Pierre-Olivier}, biburl = {https://www.bibsonomy.org/bibtex/26f2f6302dd3acbb36063251641ed63f0/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00011360}, interhash = {3ac0ad9adc22a8401a4dc4ac5d0f2ae0}, intrahash = {6f2f6302dd3acbb36063251641ed63f0}, keywords = {}, school = {INSA Toulouse, France}, timestamp = {2023-12-12T21:12:38.000+0100}, title = {Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire.}, year = 2005 }