A Case Study for CTL Model Update.

Yulin Ding Yan Zhang A Case Study for CTL Model Update. 88-101 2006 conf/ksem/2006 KSEM http://dx.doi.org/10.1007/11811220_9 db/conf/ksem/ksem2006.html#DingZ06