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.

Possibly Related Publications

The following publications are possibly variants of this publication: