@inproceedings{Suwimonteerabuth:Schwoon:Esparza:Chain:2006,
    Address = {Berlin, Heidelberg},
    Author = {Suwimonteerabuth, Dejvuth and Schwoon, Stefan and Esparza, Javier},
    BookTitle = {Proceedings of the 4th international conference on Automated Technology for Verification and Analysis},
    File = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains - Suwimonteerabuth, Schwoon, Esparza (1) (0) - a - a - r.pdf},
    ISBN = {3-540-47237-1, 978-3-540-47237-7},
    Keywords = {saturation method and pushdown automata},
    Location = {Beijing, China},
    Pages = {141--153},
    Publisher = {Springer-Verlag},
    Series = {ATVA'06},
    Title = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains},
    URL = {http://dx.doi.org/10.1007/11901914\_13},
    Year = {2006},
    acmid = {2166347},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11901914\_13},
    date-added = {2013-06-12 08:57:05 +0000},
    date-modified = {2015-02-12 13:57:44 +0000},
    file-2 = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains - Suwimonteerabuth, Schwoon, Esparza (0) (0) - a - a - r.pdf},
    numpages = {13},
    doi = {10.1007/11901914_13}
}

@inproceedings{Suwimonteerabuth:Schwoon:Esparza:Chain:2006, Address = {Berlin, Heidelberg}, Author = {Suwimonteerabuth, Dejvuth and Schwoon, Stefan and Esparza, Javier}, BookTitle = {Proceedings of the 4th international conference on Automated Technology for Verification and Analysis}, File = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains - Suwimonteerabuth, Schwoon, Esparza (1) (0) - a - a - r.pdf}, ISBN = {3-540-47237-1, 978-3-540-47237-7}, Keywords = {saturation method and pushdown automata}, Location = {Beijing, China}, Pages = {141--153}, Publisher = {Springer-Verlag}, Series = {ATVA'06}, Title = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains}, URL = {http://dx.doi.org/10.1007/11901914_13}, Year = {2006}, acmid = {2166347}, bdsk-url-1 = {http://dx.doi.org/10.1007/11901914_13}, date-added = {2013-06-12 08:57:05 +0000}, date-modified = {2015-02-12 13:57:44 +0000}, file-2 = {Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains - Suwimonteerabuth, Schwoon, Esparza (0) (0) - a - a - r.pdf}, numpages = {13}, doi = {10.1007/11901914_13} }