@inproceedings{Chadha:2012:RUC:2260516.2260556,
    Address = {Berlin, Heidelberg},
    Author = {Chadha, Rohit and Madhusudan, P. and Viswanathan, Mahesh},
    BookTitle = {Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Reachability under contextual locking - Chadha, Madhusudan, Viswanathan (0) (0) - a - a - x.pdf},
    ISBN = {978-3-642-28755-8},
    Location = {Tallinn, Estonia},
    Pages = {437--450},
    Publisher = {Springer-Verlag},
    Series = {TACAS'12},
    Title = {Reachability under contextual locking},
    URL = {http://dx.doi.org/10.1007/978-3-642-28756-5\_30},
    Year = {2012},
    acmid = {2260556},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5\_30},
    date-added = {2012-11-27 19:20:39 +0000},
    date-modified = {2012-11-27 19:20:39 +0000},
    numpages = {14},
    doi = {10.1007/978-3-642-28756-5_30}
}

@inproceedings{Chadha:2012:RUC:2260516.2260556, Address = {Berlin, Heidelberg}, Author = {Chadha, Rohit and Madhusudan, P. and Viswanathan, Mahesh}, BookTitle = {Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems}, File = {Reachability under contextual locking - Chadha, Madhusudan, Viswanathan (0) (0) - a - a - x.pdf}, ISBN = {978-3-642-28755-8}, Location = {Tallinn, Estonia}, Pages = {437--450}, Publisher = {Springer-Verlag}, Series = {TACAS'12}, Title = {Reachability under contextual locking}, URL = {http://dx.doi.org/10.1007/978-3-642-28756-5_30}, Year = {2012}, acmid = {2260556}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28756-5_30}, date-added = {2012-11-27 19:20:39 +0000}, date-modified = {2012-11-27 19:20:39 +0000}, numpages = {14}, doi = {10.1007/978-3-642-28756-5_30} }