@article{Abdulla:2004:UFR:1008839.1008844,
    Address = {Hingham, MA, USA},
    Author = {Abdulla, Parosh Aziz and Collomb-Annichini, Aurore and Bouajjani, Ahmed and Jonsson, Bengt},
    File = {Using Forward Reachability Analysis for Verification of Lossy Channel Systems - Abdulla, Collomb-Annichini, Bouajjani, Jonsson (0) (0) - a - a - l.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {lossy channel systems},
    Month = {July},
    Number = {1},
    Pages = {39--65},
    Publisher = {Kluwer Academic Publishers},
    Title = {Using Forward Reachability Analysis for Verification of Lossy Channel Systems},
    URL = {http://dx.doi.org/10.1023/B:FORM.0000033962.51898.1a},
    Volume = {25},
    Year = {2004},
    acmid = {1008844},
    bdsk-url-1 = {http://dx.doi.org/10.1023/B:FORM.0000033962.51898.1a},
    date-added = {2012-11-01 13:47:09 +0000},
    date-modified = {2013-01-22 06:05:21 +0000},
    issue_date = {July 2004},
    numpages = {27},
    doi = {10.1023/B:FORM.0000033962.51898.1a}
}

@article{Abdulla:2004:UFR:1008839.1008844, Address = {Hingham, MA, USA}, Author = {Abdulla, Parosh Aziz and Collomb-Annichini, Aurore and Bouajjani, Ahmed and Jonsson, Bengt}, File = {Using Forward Reachability Analysis for Verification of Lossy Channel Systems - Abdulla, Collomb-Annichini, Bouajjani, Jonsson (0) (0) - a - a - l.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {lossy channel systems}, Month = {July}, Number = {1}, Pages = {39--65}, Publisher = {Kluwer Academic Publishers}, Title = {Using Forward Reachability Analysis for Verification of Lossy Channel Systems}, URL = {http://dx.doi.org/10.1023/B:FORM.0000033962.51898.1a}, Volume = {25}, Year = {2004}, acmid = {1008844}, bdsk-url-1 = {http://dx.doi.org/10.1023/B:FORM.0000033962.51898.1a}, date-added = {2012-11-01 13:47:09 +0000}, date-modified = {2013-01-22 06:05:21 +0000}, issue_date = {July 2004}, numpages = {27}, doi = {10.1023/B:FORM.0000033962.51898.1a} }