@article{Abdulla2009131,
    Author = {Abdulla, Parosh Aziz and Krcal, Pavel and Yi, Wang},
    File = {Universality of R-automata with Value Copying - Abdulla, Krcal, Yi (0) (0) - a - a - t.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {limitedness problem},
    Note = {\<ce:title>Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)\</ce:title>},
    Number = {0},
    Pages = {131 - 141},
    Title = {Universality of R-automata with Value Copying},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001571},
    Volume = {239},
    Year = {2009},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001571},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.05.035},
    date-added = {2012-03-20 18:49:51 +0100},
    date-modified = {2012-03-20 17:50:12 +0000},
    doi = {10.1016/j.entcs.2009.05.035}
}

@article{Abdulla2009131, Author = {Abdulla, Parosh Aziz and Krcal, Pavel and Yi, Wang}, File = {Universality of R-automata with Value Copying - Abdulla, Krcal, Yi (0) (0) - a - a - t.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {limitedness problem}, Note = {\<ce:title>Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)\</ce:title>}, Number = {0}, Pages = {131 - 141}, Title = {Universality of R-automata with Value Copying}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001571}, Volume = {239}, Year = {2009}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001571}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.05.035}, date-added = {2012-03-20 18:49:51 +0100}, date-modified = {2012-03-20 17:50:12 +0000}, doi = {10.1016/j.entcs.2009.05.035} }