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]
No references recorded for this publication.
No citations of this publication recorded.