A multiparameter analysis of the boundedness problem for vector addition systems.

Louis E. Rosier, Hsu-Chun Yen

Browse the full FCT paper archive.