@inproceedings{Geffroy:2017:BCP:3092282.3092292,
    Address = {New York, NY, USA},
    Author = {Geffroy, Thomas and Leroux, J{\'e}r\^{o}me and Sutre, Gr{\'e}goire},
    BookTitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software},
    File = {SPIN\_2017\_paper\_29 (0) - a - a - d.pdf},
    ISBN = {978-1-4503-5077-8},
    Keywords = {Coverability Problem, Lossy Channel Systems, Model-Checking, Well-Structured Transition Systems},
    Location = {Santa Barbara, CA, USA},
    Pages = {132--141},
    Publisher = {ACM},
    Series = {SPIN 2017},
    Title = {Backward Coverability with Pruning for Lossy Channel Systems},
    URL = {http://doi.acm.org/10.1145/3092282.3092292},
    Year = {2017},
    acmid = {3092292},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3092282.3092292},
    bdsk-url-2 = {http://dx.doi.org/10.1145/3092282.3092292},
    date-added = {2017-09-06 11:58:11 +0000},
    date-modified = {2017-09-06 11:58:11 +0000},
    numpages = {10},
    doi = {10.1145/3092282.3092292}
}

@inproceedings{Geffroy:2017:BCP:3092282.3092292, Address = {New York, NY, USA}, Author = {Geffroy, Thomas and Leroux, J{\'e}r\^{o}me and Sutre, Gr{\'e}goire}, BookTitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software}, File = {SPIN_2017_paper_29 (0) - a - a - d.pdf}, ISBN = {978-1-4503-5077-8}, Keywords = {Coverability Problem, Lossy Channel Systems, Model-Checking, Well-Structured Transition Systems}, Location = {Santa Barbara, CA, USA}, Pages = {132--141}, Publisher = {ACM}, Series = {SPIN 2017}, Title = {Backward Coverability with Pruning for Lossy Channel Systems}, URL = {http://doi.acm.org/10.1145/3092282.3092292}, Year = {2017}, acmid = {3092292}, bdsk-url-1 = {http://doi.acm.org/10.1145/3092282.3092292}, bdsk-url-2 = {http://dx.doi.org/10.1145/3092282.3092292}, date-added = {2017-09-06 11:58:11 +0000}, date-modified = {2017-09-06 11:58:11 +0000}, numpages = {10}, doi = {10.1145/3092282.3092292} }