Christel Baier, Nathalie Bertrand, Philippe Schnoebelen. On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems..
13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), Nov 2006, Phnom Penh, Cambodia.
⟨10.1007/11916277_24⟩.
⟨inria-00424346⟩