Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta. Boolean Abstraction for Temporal Logic Satisfiability. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 532-546, Springer, 2007. [doi]
Abstract is missing.