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

3
checked on Jun 10, 2019

WEB OF SCIENCETM
Citations

2
checked on Jun 10, 2019

Page view(s)

23
checked on May 24, 2019

Google ScholarTM

Check

Altmetric


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