@inproceedings{Koushik:Viswanathan:CAV:06,
    Author = {Sen, Koushik and Viswanathan, Mahesh},
    BookTitle = {Proc. of CAV'06},
    Editor = {Ball, Thomas and Jones, Robert B.},
    File = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods - Sen, Viswanathan (0) (0) - a - a - g.pdf},
    ISBN = {978-3-540-37406-0},
    Keywords = {pushdown automata and Petri nets},
    Pages = {300--314},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods},
    URL = {http://dx.doi.org/10.1007/11817963\_29},
    Volume = {4144},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_29},
    date-added = {2013-10-02 16:53:41 +0000},
    date-modified = {2019-03-10 16:06:56 +0100},
    doi = {10.1007/11817963_29}
}

@inproceedings{Koushik:Viswanathan:CAV:06, Author = {Sen, Koushik and Viswanathan, Mahesh}, BookTitle = {Proc. of CAV'06}, Editor = {Ball, Thomas and Jones, Robert B.}, File = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods - Sen, Viswanathan (0) (0) - a - a - g.pdf}, ISBN = {978-3-540-37406-0}, Keywords = {pushdown automata and Petri nets}, Pages = {300--314}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods}, URL = {http://dx.doi.org/10.1007/11817963_29}, Volume = {4144}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_29}, date-added = {2013-10-02 16:53:41 +0000}, date-modified = {2019-03-10 16:06:56 +0100}, doi = {10.1007/11817963_29} }