@inproceedings{Bouajjani:2005:RAM:2135218.2135248,
    Address = {Berlin, Heidelberg},
    Author = {Bouajjani, Ahmed and Esparza, Javier and Schwoon, Stefan and Strej\v{c}ek, Jan},
    BookTitle = {Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science},
    File = {Reachability analysis of multithreaded software with asynchronous communication - Bouajjani, Esparza, Schwoon, Strejcek (0) (0) - a - a - t.pdf},
    ISBN = {3-540-30495-9, 978-3-540-30495-1},
    Keywords = {saturation method},
    Location = {Hyderabad, India},
    Pages = {348--359},
    Publisher = {Springer-Verlag},
    Series = {FSTTCS '05},
    Title = {Reachability analysis of multithreaded software with asynchronous communication},
    URL = {http://dx.doi.org/10.1007/11590156\_28},
    Year = {2005},
    acmid = {2135248},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11590156\_28},
    date-added = {2012-11-27 19:25:04 +0000},
    date-modified = {2013-01-31 10:20:48 +0000},
    numpages = {12},
    doi = {10.1007/11590156_28}
}

@inproceedings{Bouajjani:2005:RAM:2135218.2135248, Address = {Berlin, Heidelberg}, Author = {Bouajjani, Ahmed and Esparza, Javier and Schwoon, Stefan and Strej\v{c}ek, Jan}, BookTitle = {Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science}, File = {Reachability analysis of multithreaded software with asynchronous communication - Bouajjani, Esparza, Schwoon, Strejcek (0) (0) - a - a - t.pdf}, ISBN = {3-540-30495-9, 978-3-540-30495-1}, Keywords = {saturation method}, Location = {Hyderabad, India}, Pages = {348--359}, Publisher = {Springer-Verlag}, Series = {FSTTCS '05}, Title = {Reachability analysis of multithreaded software with asynchronous communication}, URL = {http://dx.doi.org/10.1007/11590156_28}, Year = {2005}, acmid = {2135248}, bdsk-url-1 = {http://dx.doi.org/10.1007/11590156_28}, date-added = {2012-11-27 19:25:04 +0000}, date-modified = {2013-01-31 10:20:48 +0000}, numpages = {12}, doi = {10.1007/11590156_28} }