A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems

Louis E. Rosier, Hsu-Chun Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. J. Comput. Syst. Sci., 32(1):105-135, 1986.

Abstract

Abstract is missing.