TY  - RPRT
TI  - On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
AU  - C. Baier
AU  - N. Bertrand
AU  - Ph. Schnoebelen
PY  - 2006
DO  - 10.1007/11916277_24
UR  - https://arxiv.org/abs/cs/0606091
ID  - cs/0606091
ER  -