The Covering and Boundedness Problems for Vector Addition Systems

Charles Rackoff. The Covering and Boundedness Problems for Vector Addition Systems. Theoretical Computer Science, 6:223-231, 1978.

Abstract

Abstract is missing.