Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/54575
| Type: | Conference paper |
| Title: | A study of model explosion problem in CTL model update |
| Author: | Ding, Yulin Zhang, Yan |
| 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 |
| Publisher: | KSIGS |
| Issue Date: | 2008 |
| ISBN: | 1891706225 |
| Conference Name: | SEKE (20th : 2008 : San Francisco, CA) |
| School/Discipline: | School of Computer Science |
| Statement of Responsibility: | Yulin Ding and Yan Zhang |
| Description (link): | http://www.ksi.edu/seke/seke08.html |
| Appears in Collections: | Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.