Michael Leuschel, Thierry Massart. Infinite State Model Checking by Abstract Interpretation and Program Specialisation. In Annalisa Bossi, editor, Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR 99, Venezia, Italy, September 22-24, 1999, Selected Papers. Volume 1817 of Lecture Notes in Computer Science, pages 62-81, Springer, 1999.
Abstract is missing.