The University of Warwick Library - WebBridge

Reachability in two-dimensional unary vector addition systems with states is NL-complete
Englert, Matthias.  Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).    2016-04-04. .   

Online access not found

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