Year	2006
Authors	FANG YU
Paper Title	Fang Yu;Bow-Yaw Wang, 2006.08, 'SAT-based Model Checking for Region Automata, ' International Journal of Foundations of Computer Science, Vol.17, No.4, pp.775-795.(SCIE, DBLP)
Vol.No	316615
Date of Publication	2006-08-01