A study of model explosion problem in CTL model update

Simple item page
dc.contributor.authorDing, Yulinen
dc.contributor.authorZhang, Yanen
dc.contributor.conferenceSEKE (20th : 2008 : San Francisco, CA)en
dc.contributor.schoolSchool of Computer Scienceen
dc.date.issued2008en
dc.description.statementofresponsibilityYulin Ding and Yan Zhangen
dc.description.urihttp://www.ksi.edu/seke/seke08.htmlen
dc.identifier.citationProceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008: pp.752-757en
dc.identifier.isbn1891706225en
dc.identifier.urihttp://hdl.handle.net/2440/54575
dc.language.isoenen
dc.publisherKSIGSen
dc.titleA study of model explosion problem in CTL model updateen
dc.typeConference paperen

Files

Collections

Computer Science publications