@inproceedings{BaierBertrandSchnoebelena,
    Address = {Phnom Penh, Cambodia},
    Author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe},
    BookTitle = {{P}roceedings of the 13th {I}nternational {C}onference on {L}ogic for {P}rogramming, {A}rtificial {I}ntelligence, and {R}easoning ({LPAR}'06)},
    Editor = {Hermann, Miki and Voronkov, Andrei},
    File = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems - Baier, Bertrand, Schnoebelen (0) (0) - a - a - o.pdf},
    Keywords = {lossy channel systems},
    Month = {November},
    Pages = {347-361},
    Publisher = {Springer},
    Series = {Lecture Notes in Artificial Intelligence},
    Title = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems},
    URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBS-lpar06.pdf},
    Volume = {4246},
    Year = {2006},
    bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBS-lpar06.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/11916277\_24},
    date-added = {2013-03-26 17:38:51 +0000},
    date-modified = {2013-03-26 17:39:03 +0000},
    doi = {10.1007/11916277_24}
}

@inproceedings{BaierBertrandSchnoebelena, Address = {Phnom Penh, Cambodia}, Author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe}, BookTitle = {{P}roceedings of the 13th {I}nternational {C}onference on {L}ogic for {P}rogramming, {A}rtificial {I}ntelligence, and {R}easoning ({LPAR}'06)}, Editor = {Hermann, Miki and Voronkov, Andrei}, File = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems - Baier, Bertrand, Schnoebelen (0) (0) - a - a - o.pdf}, Keywords = {lossy channel systems}, Month = {November}, Pages = {347-361}, Publisher = {Springer}, Series = {Lecture Notes in Artificial Intelligence}, Title = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems}, URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBS-lpar06.pdf}, Volume = {4246}, Year = {2006}, bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBS-lpar06.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/11916277_24}, date-added = {2013-03-26 17:38:51 +0000}, date-modified = {2013-03-26 17:39:03 +0000}, doi = {10.1007/11916277_24} }