@inproceedings{Lugiez:2009:FAD:1617519.1617532,
    Address = {Berlin, Heidelberg},
    Author = {Lugiez, Denis},
    BookTitle = {Proceedings of the 3rd International Workshop on Reachability Problems},
    File = {Forward Analysis of Dynamic Network of Pushdown Systems Is Easier Without Order - Lugiez (0) (0) - a - a - n.pdf},
    ISBN = {978-3-642-04419-9},
    Location = {Palaiseau, France},
    Pages = {127--140},
    Publisher = {Springer-Verlag},
    Series = {RP '09},
    Title = {Forward Analysis of Dynamic Network of Pushdown Systems Is Easier Without Order},
    URL = {http://dx.doi.org/10.1007/978-3-642-04420-5\_13},
    Year = {2009},
    acmid = {1617532},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-04420-5\_13},
    date-added = {2013-11-28 16:15:16 +0000},
    date-modified = {2013-11-28 16:15:16 +0000},
    numpages = {14},
    doi = {10.1007/978-3-642-04420-5_13}
}

@inproceedings{Lugiez:2009:FAD:1617519.1617532, Address = {Berlin, Heidelberg}, Author = {Lugiez, Denis}, BookTitle = {Proceedings of the 3rd International Workshop on Reachability Problems}, File = {Forward Analysis of Dynamic Network of Pushdown Systems Is Easier Without Order - Lugiez (0) (0) - a - a - n.pdf}, ISBN = {978-3-642-04419-9}, Location = {Palaiseau, France}, Pages = {127--140}, Publisher = {Springer-Verlag}, Series = {RP '09}, Title = {Forward Analysis of Dynamic Network of Pushdown Systems Is Easier Without Order}, URL = {http://dx.doi.org/10.1007/978-3-642-04420-5_13}, Year = {2009}, acmid = {1617532}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-04420-5_13}, date-added = {2013-11-28 16:15:16 +0000}, date-modified = {2013-11-28 16:15:16 +0000}, numpages = {14}, doi = {10.1007/978-3-642-04420-5_13} }