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.
• 其他作者: COMPUTER SCIENCE
• 格式: Article
• 出版: Institute of Electrical and Electronics Engineers Inc. 2016
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/127382

10.1109/TSE.2014.2359893