@article{Ramalingam:Undecidable:2000,
    Address = {New York, NY, USA},
    Author = {Ramalingam, G.},
    File = {Context-sensitive synchronization-sensitive analysis is undecidable - Ramalingam (0) (0) - a - a - n.pdf},
    ISSN = {0164-0925},
    Journal = {ACM Trans. Program. Lang. Syst.},
    Keywords = {pushdown automata},
    Month = {March},
    Number = {2},
    Pages = {416--430},
    Publisher = {ACM},
    Title = {Context-sensitive synchronization-sensitive analysis is undecidable},
    URL = {http://doi.acm.org/10.1145/349214.349241},
    Volume = {22},
    Year = {2000},
    acmid = {349241},
    bdsk-url-1 = {http://doi.acm.org/10.1145/349214.349241},
    bdsk-url-2 = {http://dx.doi.org/10.1145/349214.349241},
    date-added = {2012-07-04 18:16:35 +0200},
    date-modified = {2014-05-28 10:09:52 +0000},
    issue_date = {March 2000},
    numpages = {15},
    doi = {10.1145/349214.349241}
}

@article{Ramalingam:Undecidable:2000, Address = {New York, NY, USA}, Author = {Ramalingam, G.}, File = {Context-sensitive synchronization-sensitive analysis is undecidable - Ramalingam (0) (0) - a - a - n.pdf}, ISSN = {0164-0925}, Journal = {ACM Trans. Program. Lang. Syst.}, Keywords = {pushdown automata}, Month = {March}, Number = {2}, Pages = {416--430}, Publisher = {ACM}, Title = {Context-sensitive synchronization-sensitive analysis is undecidable}, URL = {http://doi.acm.org/10.1145/349214.349241}, Volume = {22}, Year = {2000}, acmid = {349241}, bdsk-url-1 = {http://doi.acm.org/10.1145/349214.349241}, bdsk-url-2 = {http://dx.doi.org/10.1145/349214.349241}, date-added = {2012-07-04 18:16:35 +0200}, date-modified = {2014-05-28 10:09:52 +0000}, issue_date = {March 2000}, numpages = {15}, doi = {10.1145/349214.349241} }