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.
@article{RosierY86,
title = {A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems},
author = {Louis E. Rosier and Hsu-Chun Yen},
year = {1986},
tags = {analysis, e-science},
researchr = {https://researchr.org/publication/RosierY86},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {32},
number = {1},
pages = {105-135},
}