@inproceedings{Seth:Global:2010,
    Author = {Seth, Anil},
    BookTitle = {Proc. of CAV'10},
    Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul},
    File = {Global Reachability in Bounded Phase Multi-stack Pushdown Systems - Seth (0) (0) - a - a - y.pdf},
    ISBN = {978-3-642-14294-9},
    Keywords = {multi-pushdown automata and saturation method},
    Pages = {615--628},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Global Reachability in Bounded Phase Multi-stack Pushdown Systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-14295-6\_53},
    Volume = {6174},
    Year = {2010},
    affiliation = {I.I.T. Kanpur Department of Computer Science \& Engg. Kanpur 208016 India},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6\_53},
    date-added = {2012-11-25 17:51:08 +0000},
    date-modified = {2015-07-12 15:33:03 +0000},
    keyword = {Computer Science},
    doi = {10.1007/978-3-642-14295-6_53}
}

@inproceedings{Seth:Global:2010, Author = {Seth, Anil}, BookTitle = {Proc. of CAV'10}, Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul}, File = {Global Reachability in Bounded Phase Multi-stack Pushdown Systems - Seth (0) (0) - a - a - y.pdf}, ISBN = {978-3-642-14294-9}, Keywords = {multi-pushdown automata and saturation method}, Pages = {615--628}, Publisher = {Springer}, Series = {LNCS}, Title = {Global Reachability in Bounded Phase Multi-stack Pushdown Systems}, URL = {http://dx.doi.org/10.1007/978-3-642-14295-6_53}, Volume = {6174}, Year = {2010}, affiliation = {I.I.T. Kanpur Department of Computer Science \& Engg. Kanpur 208016 India}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6_53}, date-added = {2012-11-25 17:51:08 +0000}, date-modified = {2015-07-12 15:33:03 +0000}, keyword = {Computer Science}, doi = {10.1007/978-3-642-14295-6_53} }