@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A