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.

Authors

Louis E. Rosier

This author has not been identified. Look up 'Louis E. Rosier' in Google

Hsu-Chun Yen

This author has not been identified. Look up 'Hsu-Chun Yen' in Google