Yanyan Xu Wei Chen 0018 Liang Xu Wenhui Zhang Evaluation of SAT-based Bounded Model Checking of ACTL Properties. 339-348 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.22 db/conf/tase/tase2007.html#XuCXZ07