Jakub Chaloupka. Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P. Fundamenta Informaticae, 123(1):15-42, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.