A multiparameter analysis of the boundedness problem for vector addition systems (1986)

by L E Rosier, H-C Yen
Venue:J. Comput. Syst. Sci