%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