@article{Abdulla:1996:UVP:244629.244635,
    Address = {Duluth, MN, USA},
    Author = {Abdulla, Parosh Aziz and Jonsson, Bengt},
    File = {Undecidable verification problems for programs with unreliable channels - Abdulla, Jonsson (0) (0) - a - a - w.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {lossy channel systems},
    Month = {October},
    Number = {1},
    Pages = {71--90},
    Publisher = {Academic Press, Inc.},
    Title = {Undecidable verification problems for programs with unreliable channels},
    URL = {http://dx.doi.org/10.1006/inco.1996.0083},
    Volume = {130},
    Year = {1996},
    acmid = {244635},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1996.0083},
    date-added = {2012-11-22 09:37:22 +0000},
    date-modified = {2012-11-22 09:37:46 +0000},
    issue_date = {Oct. 10, 1996},
    numpages = {20},
    doi = {10.1006/inco.1996.0083}
}

@article{Abdulla:1996:UVP:244629.244635, Address = {Duluth, MN, USA}, Author = {Abdulla, Parosh Aziz and Jonsson, Bengt}, File = {Undecidable verification problems for programs with unreliable channels - Abdulla, Jonsson (0) (0) - a - a - w.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {lossy channel systems}, Month = {October}, Number = {1}, Pages = {71--90}, Publisher = {Academic Press, Inc.}, Title = {Undecidable verification problems for programs with unreliable channels}, URL = {http://dx.doi.org/10.1006/inco.1996.0083}, Volume = {130}, Year = {1996}, acmid = {244635}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1996.0083}, date-added = {2012-11-22 09:37:22 +0000}, date-modified = {2012-11-22 09:37:46 +0000}, issue_date = {Oct. 10, 1996}, numpages = {20}, doi = {10.1006/inco.1996.0083} }