Please use this identifier to cite or link to this item:
https://doi.org/10.1109/TSE.2014.2359893
| Title: | A systematic study on explicit-state non-zenoness checking for timed automata | Authors: | Wang, T. Sun, J. Wang, X. Liu, Y. Si, Y. Dong, J.S. Yang, X. Li, X. |
Issue Date: | 2015 | Publisher: | Institute of Electrical and Electronics Engineers Inc. | Citation: | Wang, T., Sun, J., Wang, X., Liu, Y., Si, Y., Dong, J.S., Yang, X., Li, X. (2015). A systematic study on explicit-state non-zenoness checking for timed automata. IEEE Transactions on Software Engineering 41 (1) : 3-18. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2014.2359893 | Source Title: | IEEE Transactions on Software Engineering | URI: | http://scholarbank.nus.edu.sg/handle/10635/127382 | ISSN: | 985589 | DOI: | 10.1109/TSE.2014.2359893 |
| 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.