The University of Warwick Library - WebBridge

The reachability problem for branching vector addition systems requires doubly-exponential space
Lazic, Ranko.  Information Processing Letters.  v. Vol.110. no. No.17.   2010-08-15. p. 740 - 745... issn: 0020-0190 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.