@incollection{Bouajjani:2005:RSA:1099332.1099369,
    Address = {London, UK, UK},
    Author = {Bouajjani, Ahmed and M\"{u}ller-Olm, Markus and Touili, Tayssir},
    Editor = {Abadi, Mart\'{\i}n and de Alfaro, Luca},
    File = {Regular symbolic analysis of dynamic networks of pushdown systems - Bouajjani, Muller-Olm, Touili (0) (0) - a - a - d.pdf},
    ISBN = {3-540-28309-9},
    Keywords = {pushdown automata and saturation method},
    Pages = {473--487},
    Publisher = {Springer-Verlag},
    Title = {Regular symbolic analysis of dynamic networks of pushdown systems},
    URL = {http://dx.doi.org/10.1007/11539452\_36},
    Year = {2005},
    acmid = {1099369},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11539452\_36},
    date-added = {2012-11-27 19:21:52 +0000},
    date-modified = {2013-01-31 10:20:38 +0000},
    numpages = {15},
    doi = {10.1007/11539452_36}
}

@incollection{Bouajjani:2005:RSA:1099332.1099369, Address = {London, UK, UK}, Author = {Bouajjani, Ahmed and M\"{u}ller-Olm, Markus and Touili, Tayssir}, Editor = {Abadi, Mart\'{\i}n and de Alfaro, Luca}, File = {Regular symbolic analysis of dynamic networks of pushdown systems - Bouajjani, Muller-Olm, Touili (0) (0) - a - a - d.pdf}, ISBN = {3-540-28309-9}, Keywords = {pushdown automata and saturation method}, Pages = {473--487}, Publisher = {Springer-Verlag}, Title = {Regular symbolic analysis of dynamic networks of pushdown systems}, URL = {http://dx.doi.org/10.1007/11539452_36}, Year = {2005}, acmid = {1099369}, bdsk-url-1 = {http://dx.doi.org/10.1007/11539452_36}, date-added = {2012-11-27 19:21:52 +0000}, date-modified = {2013-01-31 10:20:38 +0000}, numpages = {15}, doi = {10.1007/11539452_36} }