Yulin Ding, Yan Zhang. A Case Study for CTL Model Update. In Jérôme Lang, Fangzhen Lin, Ju Wang, editors, Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings. Volume 4092 of Lecture Notes in Computer Science, pages 88-101, Springer, 2006. [doi]
Abstract is missing.