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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.