@inproceedings{Majumdar:2013:EEC:2529453.2529468,
    Address = {Berlin, Heidelberg},
    Author = {Majumdar, Rupak and Wang, Zilong},
    BookTitle = {Proceedings of the 24th International Conference on Concurrency Theory},
    File = {f4d2e8530ad8e38712dbc7e2384dae44c728 (0) - a - a - w.pdf},
    ISBN = {978-3-642-40183-1},
    Location = {Buenos Aires, Argentina},
    Pages = {152--166},
    Publisher = {Springer-Verlag},
    Series = {CONCUR'13},
    Title = {Expand, Enlarge, and Check for Branching Vector Addition Systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-40184-8\_12},
    Year = {2013},
    acmid = {2529468},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8\_12},
    date-added = {2017-06-01 13:58:11 +0000},
    date-modified = {2017-06-01 13:58:11 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-40184-8_12}
}

@inproceedings{Majumdar:2013:EEC:2529453.2529468, Address = {Berlin, Heidelberg}, Author = {Majumdar, Rupak and Wang, Zilong}, BookTitle = {Proceedings of the 24th International Conference on Concurrency Theory}, File = {f4d2e8530ad8e38712dbc7e2384dae44c728 (0) - a - a - w.pdf}, ISBN = {978-3-642-40183-1}, Location = {Buenos Aires, Argentina}, Pages = {152--166}, Publisher = {Springer-Verlag}, Series = {CONCUR'13}, Title = {Expand, Enlarge, and Check for Branching Vector Addition Systems}, URL = {http://dx.doi.org/10.1007/978-3-642-40184-8_12}, Year = {2013}, acmid = {2529468}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8_12}, date-added = {2017-06-01 13:58:11 +0000}, date-modified = {2017-06-01 13:58:11 +0000}, numpages = {15}, doi = {10.1007/978-3-642-40184-8_12} }