@article{BS-fmsd2012,
    Author = {Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe},
    File = {Computable fixpoints in well-structured symbolic model checking - Bertrand, Schnoebelen (0) (0) - a - a - p.pdf},
    Journal = {Formal Methods in System Design},
    Keywords = {lossy channel systems and well-structured transition systems and readme},
    Note = {To appear},
    Publisher = {Springer},
    Title = {Computable fixpoints in well-structured symbolic model checking},
    URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-fmsd12.pdf},
    Year = {2013},
    bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-fmsd12.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10703-012-0168-y},
    date-added = {2013-03-21 20:03:46 +0000},
    date-modified = {2013-03-21 20:04:00 +0000},
    doi = {10.1007/s10703-012-0168-y}
}

@article{BS-fmsd2012, Author = {Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe}, File = {Computable fixpoints in well-structured symbolic model checking - Bertrand, Schnoebelen (0) (0) - a - a - p.pdf}, Journal = {Formal Methods in System Design}, Keywords = {lossy channel systems and well-structured transition systems and readme}, Note = {To appear}, Publisher = {Springer}, Title = {Computable fixpoints in well-structured symbolic model checking}, URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-fmsd12.pdf}, Year = {2013}, bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-fmsd12.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10703-012-0168-y}, date-added = {2013-03-21 20:03:46 +0000}, date-modified = {2013-03-21 20:04:00 +0000}, doi = {10.1007/s10703-012-0168-y} }