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

by Louis E Rosier, Hsu-Chun Yen
Venue:Sch78] [Sip97] [ST77] [TF61] [Val02