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.
SCOPUSTM
Citations
5
checked on Mar 21, 2023
WEB OF SCIENCETM
Citations
5
checked on Mar 21, 2023
Page view(s)
158
checked on Mar 16, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.