Cong Tian, Zhenhua Duan. Making Abstraction-Refinement Efficient in Model Checking. In Bin Fu, Ding-Zhu Du, editors, Computing and Combinatorics - 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings. Volume 6842 of Lecture Notes in Computer Science, pages 402-413, Springer, 2011. [doi]
Abstract is missing.