Please use this identifier to cite or link to this item:
https://doi.org/10.1109/TASE.2009.63
DC Field | Value | |
---|---|---|
dc.title | Towards expressive specification and efficient model checking | |
dc.contributor.author | Jin, S.D. | |
dc.contributor.author | Sun, J. | |
dc.date.accessioned | 2013-07-04T07:55:01Z | |
dc.date.available | 2013-07-04T07:55:01Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Jin, S.D., Sun, J. (2009). Towards expressive specification and efficient model checking. Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 : 9-. ScholarBank@NUS Repository. https://doi.org/10.1109/TASE.2009.63 | |
dc.identifier.isbn | 9780769537573 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/40027 | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TASE.2009.63 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1109/TASE.2009.63 | |
dc.description.sourcetitle | Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 | |
dc.description.page | 9- | |
dc.identifier.isiut | 000272549300003 | |
Appears in Collections: | Staff Publications |
Show simple item record
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.