Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}