%0 Journal Article
%A Verma, Kumar Neeraj
%A Goubault-Larrecq, Jean
%T Karp-Miller Trees for a Branching Extension of VASS
%J Discrete mathematics & theoretical computer science
%D 2005
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.350/
%R 10.46298/dmtcs.350
%G en
%F DMTCS_2005_7_a8