Login / Signup

The Covering and Boundedness Problems for Vector Addition Systems.

Charles Rackoff
Published in: Theor. Comput. Sci. (1978)
Keyphrases