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. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 85, Cottbus, GDR, September 9-13, 1985. Volume 199 of Lecture Notes in Computer Science, pages 361-370, Springer, 1985.

Abstract

Abstract is missing.