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