Klaus Dräger, Bernd Finkbeiner, Andreas Podelski. Directed Model Checking with Distance-Preserving Abstractions. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 19-34, Springer, 2006. [doi]
Abstract is missing.