Please use this identifier to cite or link to this item:
https://doi.org/10.1109/TASE.2009.63
| Title: | Towards expressive specification and efficient model checking | Authors: | Jin, S.D. Sun, J. |
Issue Date: | 2009 | 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 | Source Title: | Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 | URI: | http://scholarbank.nus.edu.sg/handle/10635/40027 | ISBN: | 9780769537573 | DOI: | 10.1109/TASE.2009.63 |
| Appears in Collections: | Staff Publications |
Show full 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.