Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (Q4914309)
From MaRDI portal
scientific article; zbMATH DE number 6155498
Language | Label | Description | Also known as |
---|---|---|---|
English | Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P |
scientific article; zbMATH DE number 6155498 |
Statements
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (English)
0 references
18 April 2013
0 references