Unfolding based verification of concurrent infinite-state systems. Thèse spécialité informatique présentée à l'université Bordeaux 1, le 19 juin 2009. - Université Bordeaux 1, 2009. - ( Thèse - Bordeaux 1 ; 3808).