The decidability of the reachability problem for vector addition systems (Preliminary Version).
Autor: | Sacerdote, George S., Tenney, Richard L. |
---|---|
Zdroj: | Proceedings of the Ninth Annual ACM Symposium: Theory of Computing; 5/ 4/1977, p61-76, 16p |
Databáze: | Complementary Index |
Externí odkaz: |