Please use this identifier to cite or link to this item: https://doi.org/10.1109/TASE.2009.63
DC FieldValue
dc.titleTowards expressive specification and efficient model checking
dc.contributor.authorJin, S.D.
dc.contributor.authorSun, J.
dc.date.accessioned2013-07-04T07:55:01Z
dc.date.available2013-07-04T07:55:01Z
dc.date.issued2009
dc.identifier.citationJin, 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.isbn9780769537573
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40027
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TASE.2009.63
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TASE.2009.63
dc.description.sourcetitleProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
dc.description.page9-
dc.identifier.isiut000272549300003
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.