@inproceedings{Aiswarya2014,
    Address = {Cham},
    Author = {Aiswarya, C. and Gastin, Paul and Narayan Kumar, K.},
    BookTitle = {Proc. if ATVA'14},
    Editor = {Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois},
    File = {Verifying Communicating Multi-pushdown Systems via Split-Width - Aiswarya, Gastin, Narayan Kumar (0) (0) - a - a - y.pdf},
    ISBN = {978-3-319-11936-6},
    Pages = {1--17},
    Publisher = {Springer},
    Title = {Verifying Communicating Multi-pushdown Systems via Split-Width},
    URL = {http://dx.doi.org/10.1007/978-3-319-11936-6\_1},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6\_1},
    date-added = {2016-02-29 16:17:18 +0000},
    date-modified = {2016-02-29 16:17:57 +0000},
    file-2 = {Verifying Communicating Multi-pushdown Systems via Split-Width - Aiswarya, Gastin, Narayan Kumar (1) (0) - a - a - y.pdf},
    doi = {10.1007/978-3-319-11936-6_1}
}

@inproceedings{Aiswarya2014, Address = {Cham}, Author = {Aiswarya, C. and Gastin, Paul and Narayan Kumar, K.}, BookTitle = {Proc. if ATVA'14}, Editor = {Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois}, File = {Verifying Communicating Multi-pushdown Systems via Split-Width - Aiswarya, Gastin, Narayan Kumar (0) (0) - a - a - y.pdf}, ISBN = {978-3-319-11936-6}, Pages = {1--17}, Publisher = {Springer}, Title = {Verifying Communicating Multi-pushdown Systems via Split-Width}, URL = {http://dx.doi.org/10.1007/978-3-319-11936-6_1}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11936-6_1}, date-added = {2016-02-29 16:17:18 +0000}, date-modified = {2016-02-29 16:17:57 +0000}, file-2 = {Verifying Communicating Multi-pushdown Systems via Split-Width - Aiswarya, Gastin, Narayan Kumar (1) (0) - a - a - y.pdf}, doi = {10.1007/978-3-319-11936-6_1} }