Fabio Fioravanti. Verification of Infinite-State Systems by Specialization of CLP Programs. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 762, Springer, 2001. [doi]
Abstract is missing.