@inproceedings{Sen:2005:DEM:2144745.2144764,
    Address = {Berlin, Heidelberg},
    Author = {Sen, Koushik and Ro\c{s}u, Grigore and Agha, Gul},
    BookTitle = {Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems},
    File = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions - Sen, Rosu, Agha (0) (0) - a - a - x.pdf},
    ISBN = {3-540-26181-8, 978-3-540-26181-0},
    Location = {Athens, Greece},
    Pages = {211--226},
    Publisher = {Springer-Verlag},
    Series = {FMOODS'05},
    Title = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions},
    URL = {http://dx.doi.org/10.1007/11494881\_14},
    Year = {2005},
    acmid = {2144764},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11494881\_14},
    date-added = {2014-04-04 05:49:34 +0000},
    date-modified = {2014-04-04 05:49:34 +0000},
    numpages = {16},
    doi = {10.1007/11494881_14}
}

@inproceedings{Sen:2005:DEM:2144745.2144764, Address = {Berlin, Heidelberg}, Author = {Sen, Koushik and Ro\c{s}u, Grigore and Agha, Gul}, BookTitle = {Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems}, File = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions - Sen, Rosu, Agha (0) (0) - a - a - x.pdf}, ISBN = {3-540-26181-8, 978-3-540-26181-0}, Location = {Athens, Greece}, Pages = {211--226}, Publisher = {Springer-Verlag}, Series = {FMOODS'05}, Title = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions}, URL = {http://dx.doi.org/10.1007/11494881_14}, Year = {2005}, acmid = {2144764}, bdsk-url-1 = {http://dx.doi.org/10.1007/11494881_14}, date-added = {2014-04-04 05:49:34 +0000}, date-modified = {2014-04-04 05:49:34 +0000}, numpages = {16}, doi = {10.1007/11494881_14} }