TY - THES DP - http://www.theses.fr/2011BOR14278 TI - Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions AU - Heussner (Heußner), Alexander A3 - Muscholl, Anca PY - 2011 N1 - Thèse de doctorat Informatique Bordeaux 1 2011 N1 - 2011BOR14278 UR - http://www.theses.fr/2011BOR14278/document ER -