@article{Geeraerts2006180,
    Author = {Geeraerts, G. and Raskin, J.-F. and Begin, L. Van},
    File = {Expand, Enlarge and Check New algorithms for the coverability problem of WSTS - Geeraerts, Raskin, Begin (0) (0) - a - a - g.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {Lossy channel systems},
    Number = {1},
    Pages = {180 - 203},
    Title = {Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000005000875},
    Volume = {72},
    Year = {2006},
    bdsk-url-1 = {http://www.ulb.ac.be/di/ssd/ggeeraer/eec/},
    bdsk-url-2 = {http://www.sciencedirect.com/science/article/pii/S0022000005000875},
    bdsk-url-3 = {http://dx.doi.org/10.1016/j.jcss.2005.09.001},
    date-added = {2012-12-29 14:14:03 +0000},
    date-modified = {2012-12-29 14:14:03 +0000},
    file-2 = {Expand, Enlarge and Check New algorithms for the coverability problem of WSTS - Geeraerts, Raskin, Begin (1) (0) - a - a - g.pdf},
    doi = {10.1016/j.jcss.2005.09.001}
}

@article{Geeraerts2006180, Author = {Geeraerts, G. and Raskin, J.-F. and Begin, L. Van}, File = {Expand, Enlarge and Check New algorithms for the coverability problem of WSTS - Geeraerts, Raskin, Begin (0) (0) - a - a - g.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {Lossy channel systems}, Number = {1}, Pages = {180 - 203}, Title = {Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000005000875}, Volume = {72}, Year = {2006}, bdsk-url-1 = {http://www.ulb.ac.be/di/ssd/ggeeraer/eec/}, bdsk-url-2 = {http://www.sciencedirect.com/science/article/pii/S0022000005000875}, bdsk-url-3 = {http://dx.doi.org/10.1016/j.jcss.2005.09.001}, date-added = {2012-12-29 14:14:03 +0000}, date-modified = {2012-12-29 14:14:03 +0000}, file-2 = {Expand, Enlarge and Check New algorithms for the coverability problem of WSTS - Geeraerts, Raskin, Begin (1) (0) - a - a - g.pdf}, doi = {10.1016/j.jcss.2005.09.001} }