@chapter{EsparzaHanselRossmanithSchwoon,
    Author = {Esparza, Javier and Hansel, David and Rossmanith, Peter and Schwoon, Stefan},
    BookTitle = {Computer Aided Verification},
    File = {Efficient Algorithms for Model Checking Pushdown Systems - Esparza, Hansel, Rossmanith, Schwoon (0) (0) - a - a - w.pdf},
    Keywords = {model checking and pushdown automata and saturation method},
    Pages = {232--247},
    Series = {Lecture Notes in Computer Science},
    Title = {Efficient Algorithms for Model Checking Pushdown Systems},
    Volume = {1855},
    Year = {2000},
    bdsk-url-1 = {http://www.springerlink.com/content/xv7j1w83511k3787/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/10722167\_20},
    date-added = {2012-03-06 11:30:12 +0100},
    date-modified = {2013-03-12 18:54:37 +0000},
    doi = {10.1007/10722167_20}
}

@chapter{EsparzaHanselRossmanithSchwoon, Author = {Esparza, Javier and Hansel, David and Rossmanith, Peter and Schwoon, Stefan}, BookTitle = {Computer Aided Verification}, File = {Efficient Algorithms for Model Checking Pushdown Systems - Esparza, Hansel, Rossmanith, Schwoon (0) (0) - a - a - w.pdf}, Keywords = {model checking and pushdown automata and saturation method}, Pages = {232--247}, Series = {Lecture Notes in Computer Science}, Title = {Efficient Algorithms for Model Checking Pushdown Systems}, Volume = {1855}, Year = {2000}, bdsk-url-1 = {http://www.springerlink.com/content/xv7j1w83511k3787/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/10722167_20}, date-added = {2012-03-06 11:30:12 +0100}, date-modified = {2013-03-12 18:54:37 +0000}, doi = {10.1007/10722167_20} }