@article{Rosier:1986:MAB:9134.9140,
    Address = {Orlando, FL, USA},
    Author = {Rosier, Louis E and Yen, Hsu-Chun},
    File = {A multiparameter analysis of the boundedness problem for vector addition systems - Rosier, Yen (0) (0) - a - a - u.pdf},
    ISSN = {0022-0000},
    Journal = {J. Comput. Syst. Sci.},
    Keywords = {vector addition systems},
    Month = {February},
    Number = {1},
    Pages = {105--135},
    Publisher = {Academic Press, Inc.},
    Title = {A multiparameter analysis of the boundedness problem for vector addition systems},
    URL = {http://dx.doi.org/10.1016/0022-0000(86)90006-1},
    Volume = {32},
    Year = {1986},
    acmid = {9140},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0022-0000(86)90006-1},
    date-added = {2013-11-11 13:56:11 +0000},
    date-modified = {2013-11-11 13:56:38 +0000},
    file-2 = {A multiparameter analysis of the boundedness problem for vector addition systems - Rosier, Yen (1) (0) - a - a - u.pdf},
    issue_date = {Feb. 1986},
    numpages = {31},
    doi = {10.1016/0022-0000(86)90006-1}
}

@article{Rosier:1986:MAB:9134.9140, Address = {Orlando, FL, USA}, Author = {Rosier, Louis E and Yen, Hsu-Chun}, File = {A multiparameter analysis of the boundedness problem for vector addition systems - Rosier, Yen (0) (0) - a - a - u.pdf}, ISSN = {0022-0000}, Journal = {J. Comput. Syst. Sci.}, Keywords = {vector addition systems}, Month = {February}, Number = {1}, Pages = {105--135}, Publisher = {Academic Press, Inc.}, Title = {A multiparameter analysis of the boundedness problem for vector addition systems}, URL = {http://dx.doi.org/10.1016/0022-0000(86)90006-1}, Volume = {32}, Year = {1986}, acmid = {9140}, bdsk-url-1 = {http://dx.doi.org/10.1016/0022-0000(86)90006-1}, date-added = {2013-11-11 13:56:11 +0000}, date-modified = {2013-11-11 13:56:38 +0000}, file-2 = {A multiparameter analysis of the boundedness problem for vector addition systems - Rosier, Yen (1) (0) - a - a - u.pdf}, issue_date = {Feb. 1986}, numpages = {31}, doi = {10.1016/0022-0000(86)90006-1} }