A Study of the Model Explosion Problem in CTL Model Update.

Yulin Ding Yan Zhang A Study of the Model Explosion Problem in CTL Model Update. 752-757 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#DingZ08