[ACM Press the ninth annual ACM symposium - Boulder, Colorado, United States (1977.05.04-1977.05.04)] Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77 - The decidability of the reachability problem for vector addition systems (Preliminary Version)
Sacerdote, George S., Tenney, Richard L.Year:
1977
Language:
english
DOI:
10.1145/800105.803396
File:
PDF, 1.09 MB
english, 1977