%0 Thesis %1 phd/hal/Joubert05 %A Joubert, Christophe %D 2005 %K dblp %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 = {2022-10-02T00:00:00.000+0200}, author = {Joubert, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/2d5b76346777a25cb99d21f758b9b4fa6/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00011939}, interhash = {b070cb78c0ce5790da31672cbd9adadd}, intrahash = {d5b76346777a25cb99d21f758b9b4fa6}, keywords = {dblp}, school = {Grenoble Institute of Technology, France}, timestamp = {2024-04-09T09:05:01.000+0200}, title = {Vérification distribuée à la volée de grands espaces d'états. (Distributed On-the-Fly Verification of Large State Spaces).}, year = 2005 }