Fei Pu, Wenhui Zhang, Shaochun Wang. An Improved Case-Based Approach to LTL Model Checking. In Nicolas Guelfi, Anthony Savidis, editors, Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Volume 3943 of Lecture Notes in Computer Science, pages 190-202, Springer, 2005. [doi]
Abstract is missing.