%0 Thesis %1 phd/hal/Joubert05 %A Joubert, Christophe %D 2005 %K %T Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces).

@phdthesis{phd/hal/Joubert05, added-at = {2023-12-13T06:41:03.000+0100}, author = {Joubert, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/2d5b76346777a25cb99d21f758b9b4fa6/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00011939}, interhash = {b070cb78c0ce5790da31672cbd9adadd}, intrahash = {d5b76346777a25cb99d21f758b9b4fa6}, keywords = {}, school = {Grenoble Institute of Technology, France}, timestamp = {2023-12-13T06:41:03.000+0100}, title = {Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces).}, year = 2005 }