On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen

Browse the full LPAR paper archive.