@inproceedings{Lal:2006:IPS:2135909.2135954,
    Address = {Berlin, Heidelberg},
    Author = {Lal, Akash and Reps, Thomas},
    BookTitle = {Proceedings of the 18th international conference on Computer Aided Verification},
    File = {Improving pushdown system model checking - Lal, Reps (0) (0) - a - a - p.pdf},
    ISBN = {3-540-37406-X, 978-3-540-37406-0},
    Keywords = {pushdown automata},
    Location = {Seattle, WA},
    Pages = {343--357},
    Publisher = {Springer-Verlag},
    Series = {CAV'06},
    Title = {Improving pushdown system model checking},
    URL = {http://dx.doi.org/10.1007/11817963\_32},
    Year = {2006},
    acmid = {2135954},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_32},
    date-added = {2013-10-30 06:33:45 +0000},
    date-modified = {2013-10-30 06:33:58 +0000},
    numpages = {15},
    doi = {10.1007/11817963_32}
}

@inproceedings{Lal:2006:IPS:2135909.2135954, Address = {Berlin, Heidelberg}, Author = {Lal, Akash and Reps, Thomas}, BookTitle = {Proceedings of the 18th international conference on Computer Aided Verification}, File = {Improving pushdown system model checking - Lal, Reps (0) (0) - a - a - p.pdf}, ISBN = {3-540-37406-X, 978-3-540-37406-0}, Keywords = {pushdown automata}, Location = {Seattle, WA}, Pages = {343--357}, Publisher = {Springer-Verlag}, Series = {CAV'06}, Title = {Improving pushdown system model checking}, URL = {http://dx.doi.org/10.1007/11817963_32}, Year = {2006}, acmid = {2135954}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_32}, date-added = {2013-10-30 06:33:45 +0000}, date-modified = {2013-10-30 06:33:58 +0000}, numpages = {15}, doi = {10.1007/11817963_32} }