A study of model explosion problem in CTL model update
Date
2008
Authors
Ding, Yulin
Zhang, Yan
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008: pp.752-757
Statement of Responsibility
Yulin Ding and Yan Zhang
Conference Name
SEKE (20th : 2008 : San Francisco, CA)
Abstract
School/Discipline
School of Computer Science