Thèse : soutenance de Paulin Fournier

«Vérification paramétrée de réseaux composés d'une multitude de processus identiques» - thèse de doctorat de l'université de Rennes 1 en informatique