Zhi-Hong Tao Cong-Hua Zhou Zhong Chen Li-Fu Wang Bounded Model Checking of CTL. 39-43 2007 22 J. Comput. Sci. Technol. 1 http://dx.doi.org/10.1007/s11390-007-9004-z db/journals/jcst/jcst22.html#TaoZCW07