@inproceedings{Atig:2009:CAC:1532891.1532906,
    Address = {Berlin, Heidelberg},
    Author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Qadeer, Shaz},
    BookTitle = {Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,},
    File = {Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads - Atig, Bouajjani, Qadeer (0) (0) - a - a - y.pdf},
    ISBN = {978-3-642-00767-5},
    Location = {York, UK},
    Pages = {107--123},
    Publisher = {Springer-Verlag},
    Series = {TACAS '09},
    Title = {Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads},
    URL = {http://dx.doi.org/10.1007/978-3-642-00768-2\_11},
    Year = {2009},
    acmid = {1532906},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2\_11},
    date-added = {2012-11-27 19:26:12 +0000},
    date-modified = {2012-11-27 19:26:12 +0000},
    numpages = {17},
    doi = {10.1007/978-3-642-00768-2_11}
}

@inproceedings{Atig:2009:CAC:1532891.1532906, Address = {Berlin, Heidelberg}, Author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Qadeer, Shaz}, BookTitle = {Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,}, File = {Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads - Atig, Bouajjani, Qadeer (0) (0) - a - a - y.pdf}, ISBN = {978-3-642-00767-5}, Location = {York, UK}, Pages = {107--123}, Publisher = {Springer-Verlag}, Series = {TACAS '09}, Title = {Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads}, URL = {http://dx.doi.org/10.1007/978-3-642-00768-2_11}, Year = {2009}, acmid = {1532906}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2_11}, date-added = {2012-11-27 19:26:12 +0000}, date-modified = {2012-11-27 19:26:12 +0000}, numpages = {17}, doi = {10.1007/978-3-642-00768-2_11} }