@inproceedings{BouajjaniEsparzaMaler:Pushdown:1997,
    Author = {Bouajjani, Ahmed and Esparza, Javier and Maler, Oded},
    BookTitle = {Proc. of CONCUR'97},
    File = {Reachability analysis of pushdown automata Application to model-checking and saturation method - Bouajjani, Esparza, Maler (0) (0) - a - a - t.pdf},
    Keywords = {pushdown automata and model checking},
    Pages = {135--150},
    Series = {LNCS},
    Title = {Reachability analysis of pushdown automata: Application to model-checking and saturation method},
    Volume = {1243},
    Year = {1997},
    bdsk-url-1 = {http://www.springerlink.com/content/q415g87p87k56781/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-63141-0\_10},
    date-added = {2012-03-06 11:19:14 +0100},
    date-modified = {2014-05-28 09:54:24 +0000},
    file-2 = {Reachability analysis of pushdown automata Application to model-checking and saturation method - Bouajjani, Esparza, Maler (1) (0) - a - a - t.pdf},
    doi = {10.1007/3-540-63141-0_10}
}

@inproceedings{BouajjaniEsparzaMaler:Pushdown:1997, Author = {Bouajjani, Ahmed and Esparza, Javier and Maler, Oded}, BookTitle = {Proc. of CONCUR'97}, File = {Reachability analysis of pushdown automata Application to model-checking and saturation method - Bouajjani, Esparza, Maler (0) (0) - a - a - t.pdf}, Keywords = {pushdown automata and model checking}, Pages = {135--150}, Series = {LNCS}, Title = {Reachability analysis of pushdown automata: Application to model-checking and saturation method}, Volume = {1243}, Year = {1997}, bdsk-url-1 = {http://www.springerlink.com/content/q415g87p87k56781/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-63141-0_10}, date-added = {2012-03-06 11:19:14 +0100}, date-modified = {2014-05-28 09:54:24 +0000}, file-2 = {Reachability analysis of pushdown automata Application to model-checking and saturation method - Bouajjani, Esparza, Maler (1) (0) - a - a - t.pdf}, doi = {10.1007/3-540-63141-0_10} }