%0 Journal Article %1 journals/jcss/RosierY86 %A Rosier, Louis E. %A Yen, Hsu-Chun %D 1986 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 105-135 %T A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. %U http://dblp.uni-trier.de/db/journals/jcss/jcss32.html#RosierY86 %V 32

@article{journals/jcss/RosierY86, added-at = {2021-02-16T00:00:00.000+0100}, author = {Rosier, Louis E. and Yen, Hsu-Chun}, biburl = {https://www.bibsonomy.org/bibtex/220d12acf779affa9a2b6ee6ce33d8aa2/dblp}, ee = {https://doi.org/10.1016/0022-0000(86)90006-1}, interhash = {072ae05f8c5ddb33405cbb5747cf0d9a}, intrahash = {20d12acf779affa9a2b6ee6ce33d8aa2}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {105-135}, timestamp = {2024-04-08T19:15:33.000+0200}, title = {A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss32.html#RosierY86}, volume = 32, year = 1986 }