Ding, YulinZhang, Yan2009-12-092009-12-092008Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008: pp.752-7571891706225http://hdl.handle.net/2440/54575enA study of model explosion problem in CTL model updateConference paper0020085525