@inproceedings{Atig:2009:RPD:1617519.1617520,
    Address = {Berlin, Heidelberg},
    Author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed},
    BookTitle = {Proceedings of the 3rd International Workshop on Reachability Problems},
    File = {On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - Atig, Bouajjani (0) (0) - a - a - t.pdf},
    ISBN = {978-3-642-04419-9},
    Location = {Palaiseau, France},
    Pages = {1--2},
    Publisher = {Springer-Verlag},
    Series = {RP '09},
    Title = {On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-04420-5\_1},
    Year = {2009},
    acmid = {1617520},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-04420-5\_1},
    date-added = {2012-11-27 19:27:57 +0000},
    date-modified = {2012-11-27 19:27:57 +0000},
    numpages = {2},
    doi = {10.1007/978-3-642-04420-5_1}
}

@inproceedings{Atig:2009:RPD:1617519.1617520, Address = {Berlin, Heidelberg}, Author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed}, BookTitle = {Proceedings of the 3rd International Workshop on Reachability Problems}, File = {On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - Atig, Bouajjani (0) (0) - a - a - t.pdf}, ISBN = {978-3-642-04419-9}, Location = {Palaiseau, France}, Pages = {1--2}, Publisher = {Springer-Verlag}, Series = {RP '09}, Title = {On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems}, URL = {http://dx.doi.org/10.1007/978-3-642-04420-5_1}, Year = {2009}, acmid = {1617520}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-04420-5_1}, date-added = {2012-11-27 19:27:57 +0000}, date-modified = {2012-11-27 19:27:57 +0000}, numpages = {2}, doi = {10.1007/978-3-642-04420-5_1} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge