TY - THES DP - http://www.theses.fr/2015PESC1122 TI - Réécriture d’arbres de piles et traces de systèmes à compteurs AU - Penelle, Vincent A3 - Caucal, Didier PY - 2015 N1 - Thèse de doctorat Informatique Paris Est 2015 N1 - 2015PESC1122 UR - http://www.theses.fr/2015PESC1122/document ER -