A systematic study on explicit-state non-zenoness checking for timed automata

• Main Authors: Wang, T., Sun, J., Wang, X., Liu, Y., Si, Y., Dong, J.S., Yang, X., Li, X.
• Other Authors: COMPUTER SCIENCE
• Format: Article
• Published: Institute of Electrical and Electronics Engineers Inc. 2016
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/127382
• Institution: National University of Singapore

10.1109/TSE.2014.2359893