%0 Journal Article %A Cortier, Véronique %T About the decision of reachability for register machines %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2002 %P 341-358 %V 36 %N 4 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2003001/ %R 10.1051/ita:2003001 %G en %F ITA_2002__36_4_341_0